Норвежская компания Opera Software выпустила стабильную версию браузера Opera Mini 7 для платформы Android. В веб-обозревателе на экспресс-панель можно добавить неограниченное количество закладок. Ранее закладок могло быть не более девяти. Новый браузер поддерживает HTML5 и 3D-графику через WebGL, а также может напрямую обращаться к приложению камеры.
Разработчики заявляют, что в Opera Mini 7 доработан алгоритм сжатия данных. При проходе через сервера Opera некоторые веб-страницы сжимаются на 90%, что позволяет пользователю сэкономить на расходах на трафик.
Браузеры Opera Mini и Opera Mobile распространяются бесплатно. Загрузить Opera Mini 7 для Android можно в интернет-магазине Google Play.
По оценкам Opera, ежемесячно браузер Opera Mini используют 160 миллионов человек. В общем рейтинге мобильных браузеров по версии StatCounter продукты Opera занимают второе место с долей в 21,7%. На первом месте находится штатный браузер Android.