Opera ignoriert @include-/@exclude-Rules in UserJavascripten

Heute wies mich ein Benutzer eines meiner UserJavascripte darauf hin, dass es Google Calendar blockiert.

Das kam mir seltsam vor, da das UserJavascript mit @include- und @exclude-Rules arbeitet und bestimmte Domains ausschließt.

Ich durchsuchte das Skript nach Fehlern in der Programmierung, fand aber nichts. Stattdessen sprangt das Skript auf alle Domains an, wie ich beobachten konnte, indem ich am Anfang der Funktion einen alert einfügte.

Das konnte aber eigentlich nicht sein, da laut Operas UserJS-Dokumentation die include bzw- exclude-Anweisungen verhindern, dass ein USerJS immer anspringt.

Nach einiger Sucherei im my.opera-Foprum fand ich die Erklärung. Opera hat seit Jahren einen Bug, bei dem in einem Skript, das mit UTF-8 kodiert ist, die @include- und @exclude-Rules einfach ignoriert werden.

Und da mein Skript als UTF-8 mit BOM kodiert war, klappte es natürlich wegen des Opera Bugs nicht. Als ich das Skript als UTF-8 ohne BOM speichert, lief es wie gewünscht ab.

Den Bug werde ich an Opera jedenfalls melden. Der gehört gefixt!