Норвежская компания Opera Software выпустила стабильную версию браузера Opera Mini 7 для платформы Android.

В Opera Mini 7 на экспресс-панель можно добавить неограниченное количество закладок. Ранее закладок могло быть не более девяти. Новый браузер поддерживает 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.