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