Passaggio var php -> jscript

[darkenevil]

Ciao a tutti, sto creando un mio sito web e ho la necessità di traferire una variabile (precisamente un array creato da un file esterno) da PHP a javascript. Cercando in internet ho letto della possibilità di fare questo attraverso un semplice echo ma non sto riuscendo nell'intento. Il codice incriminato è questo:

<script type="text/javascript">
prova=new Array();
function leggiProva () { alert(prova[1]); }
</script>
<?php $mioarray=file("file.txt"); echo "<script> prova = $mioarray; </script>" ?>

Cosa sto sbagliando?
Grazie anticipatamente

[gianiaz]

non puoi seguire questo metodo, e te ne accorgi subito guardando il codice generato dal php.

Se guardi il codice html generato da php vedrai che c'è scritto qualcosa del genere:

<script>prova = Array()</script>

E tieni presente che Array() non contiene nulla, è solo una stringa di 7 caratteri che per js non ha senso.

Per fare quello che chiedi devi passare i dati tramite ajax, oppure codificare tutto nella sintassi json che viene poi compresa da javascript.

Ti consiglio questa lettura :

http://it.wikipedia.org/wiki/JSON

poi questa:

http://it.php.net/json

ciao

[darkenevil]

Grazie!