Opera Software は 7 月 26 日、Android 用 Opera mini ブラウザの新バージョン Opera mini v18（18.0.2254.106200）をリリースしました。今回のアップデートにおける変更はあまり多くありませんが、動画プレイヤーが改良され、動画サイトで配信されている動画をダウンロード ...