Ciao!

Grazie della risposta!
In effetti era tutto giusto, solo che le funzioni JS che avevo portato nel file esterno contenevano gli escape characters che usavo per inserirli nella pagina tramite PHP, e questo crea, ovviamente, un errore di lettura all'interprete JS.

Prima era:

$script = "
function ciao(){
alert(\"ciao\");
}";

Ora è, nel file esterno:

function ciao(){
alert("ciao");
}

Byez!

Fabio