[Wikitech-l] Opera Mini on iOS Webkit