iPhone用Opera MiniのUser-Agent

iPhone（iPod touch/iPad）用のOpera MiniがAppleの審査を通過したので早速ダウンロード。
確かにページの表示は速いです。6倍かどうかはともかく。

でも、「iPhone専用ページ」はほとんど見られません。
HTTPリクエストヘッダのUA（User-Agent）で振り分けするサイトの場合、Opera MiniのユーザーエージェントがiPhone Safariのものと違うのでしょう。調べてみました。

HTTP_USER_AGENT

Opera/9.80 (J2ME/MIDP; Opera Mini/5.0.0176/1150; U; ja) Presto/2.4.15

UAだけだとiPhoneかどうかはパッと見、分かりません。次のヘッダも見たほうがよさそうです。

HTTP_X_OPERAMINI_PHONE

Apple # iPhone

HTTP_X_OPERAMINI_PHONE_UA

Mozilla/5.0 (iPhone; U; CPU like Mac OS X; en)

HTTP_X_OPERAMINI_UA

Opera Mini 5/5.0.0176/hifi/iphone

上のヘッダはiPhone 3Gで確認しました。iPod touchやiPadの場合にどうなるかは分かりません。

ちなみにOpera MiniはサーバーでHTMLを変換する仕様なので、リモートアドレス/リモートホストはオペラのものになります。

REMOTE_ADDR

64.255.180.122

REMOTE_HOST

r07-10.opera-mini.net

元のIPアドレスは次のヘッダに入っています。

HTTP_X_FORWARDED_FOR

126.236.70.*

逆引きすると pw126236070*.22.tss.panda-world.ne.jp。iPhone（ソフトバンク）の帯域でした。

iPhone用Opera Mini、表示は速いんですが、個人的にはとりあえず「iPhone向けGmail」が使えないのがかなり残念。
Gmailにアクセスしても、普通の「ケータイ用」か「簡易HTML」のどちらかしか選べません。そしてどっちも使いにくい。
Opera MiniにUA偽装オプションが付いてくれると便利そう。それかせめて、Gmail側がOpera Miniにも対応してくれれば！