window.location.href + FireFox

[Struppi]

echo "<script language='javascript1.2' type='text/javascript1.2'>";

das language-Attribut kannst du einmotten, der Wert des type-Attributs ist dagegen falsch. Richtig ist "text/javascript". Die JS-Version hat hier nichts verloren.
Und vielleicht nimmt der FF genau das sehr ernst und kann daher das Script nicht identifizieren, ignoriert es also.

genau das wars, mit <script> läufts reibungslos.

Du hast die Antwort nicht verstanden, der richtige Wert ist type="text/javascript"

Frage mich nur wie man drauf kommt, dass ein von PHP aufgerufener JS-Befehl net funktionieren soll?

Du bist immer noch falsch. PHP kann kein JS aufrufen. PHP erzeugt lediglich auf dem Server eine Ausgabe, die an den Browser gesendet wird, diese kann auch JS Code sein, der wird aber vom Browser ausgeführt.

Struppi.