Норвежский разработчик браузеров Opera Software официально сообщил о выпуске обновления Opera Mini 9 для iOS, в котором реализована новая функция…