auch lokal, aber ich glaube, ich habe das Problem gefunden. Ich teste das gerade (dauert noch ein bisschen, weil ich nebenher noch anderen Kram machen muss, der Vorrang hat). Ich habe in der js-Datei an Anfang und Ende
<!--
und//-->
eingefügt, wie ich das bei einem internen Script auch machen würde. Es scheint im Moment so, als würde es ohne das funktionieren. Ist aber komisch oder, weil die anderen Browser damit kein Problem haben.
Diesen HTML Kommentar einzubinden ist überflüssig und wie du gemerkt hast in externen Skripten sogar falsch.
Dieser Kommentar (der im Prinzip ungültiger JS Code ist) wurde seinerzeit eingeführt, als es noch Browser gab die das <script> Element noch nicht kannten. Soweit ich weiß waren das Netscape 1 und IE <3 (sofern es diese Browser überhaupt offiziell gab, ich hatte sie nie). Und du kannst mir nicht erzählen, dass du für diese Browser etwas programmierst (wobei programmieren ja gar nicht geht, das sie ja noch kein JS kannten)
Struppi.