Opera Software は 7 月 26 日、Android 用 Opera mini ブラウザの新バージョン Opera mini v18（18.0.2254.106200）をリリースしました。今回のアップデートにおける変更はあまり多くありませんが、動画プレイヤーが改良され、動画サイトで配信されている動画をダウンロードできる機能が追加されました。v18 では 動画サイトや SNS サイトなどの動画をタップすると、上図のような「ダウンロード」画面が表示されるようになっています。ここで、再生ボタンをタップすると、通常どおり再生され、「保存」をタップするとダウンロードされます。ダウンロード前にフォルダを変更することも可能です。また、パフォーマンスの向上を目的とした修正も今回のアップデートで実施されています。「Opera mini」（Google Play）

■関連記事
OnePlus、OnePlus 3のOxygenOS 3.2.2の配信を発表、様々な機能を改善
ZTEは5.2インチモデルの「Axon 7 mini」を開発中？
XiaomiのCEOが「Redmi Pro」の実機を公開、デュアルカメラを確認