JavaScriptで@charsetというのが書けるのでしたっけ？

Firefox2.0(lzyc)でuser.jsが効かないと思っていたら、先頭行に「@charset "utf-8";」が。

結果を言えば、@charsetの行を消して解決しました。いつの間にかuser.jsが存在していたので、何かのきっかけで@charsetが書き込まれたのだと思いますが、さっぱり思い当たりません。

問題は解決しましたが、@charsetってJavaScriptに書くとどんな意味があるのか分かりません。まあ、そのうち答えが見つかるでしょう。