Opera の UserJS は処理の仕方で具体的な仕様が異なる - 何にしても生っかじりの朴念仁前回に引き続き、モヤモヤを整理してみました。誤り等がございましたら、ご指摘をいただけると幸いです。 UserJS の拡張子により処理が異なる。 拡張子が .js の場合は、通常の UserJS として処理される。 拡張子が .user.js の場合は、GreaseMonkey 記法の UserJS として処理される。 通常の UserJS主に Opera で正常に動作しない Web ページのスクリプトを修正する目的で利用される。 実行されるタイミング Web ページ内にスクリプトが有る場合、そのスクリプトが実行される直前に実行される。 Web ページ内にスクリプトが無い場合、その Web ページの DOM が構築される前に実行される。 Firefox アドオン "GreaseMonkey" のスクリプトと同じタイミング(DOM 構築後、画像等が読み込まれる前)で実行させたい場合は docu
