Вышла новая версия мобильного браузера Opera Mini 4.2. По заявлению разработчиков, новая версия на 30% быстрее, чем предыдущий релиз.

Среди особенностей этой версии можно отметить синхронизацию, редактирование и удаление заметок посредством сервиса Opera Link, улучшенную обработку RTSP, что означает больше возможностей, которые относятся к просмотру онлайнового видео. Кроме этого, снова добавлена возможность изменения скинов, а интерфейс программы переведен еще на ряд языков.

Этот релиз Opera Mini также интересен тем, что это - первая версия браузера, доступная для Android. Это - первый альтернативный браузер для этой платформы. По сообщению Opera Software, в прошлом месяце браузер Opera Mini использовали около 21 миллионов человек во всем мире и просмотрели с его помощью пять миллиардов веб-страниц.