Operaのブックマークレット

W-ZERO3 の Opera 8.5 Mobile には、ページの自動更新(auto reload)の機能が実装されていなかったので、Bookmarkletを作った。