Вместе с анонсом Opera Mobile 9.5 компания обновила сервер Opera Mini Server, оптимизирующий страницы для просмотра на экранах телефонов.

В числе улучшений — ускорение загрузки страниц на 20%, обновление движка рендеринга страниц с использованием технологий, примененных в Opera Mobile 9.5, также добавлен интерфейс серверных настроек, изменена технология распознавания телефонных номеров в тексте, исправлено множество ошибок.

Теперь браузер не смущают адреса сайтов, начинающиеся с цифр (например, 360.yahoo.com), исправлены межстраничные ссылки, поддержка iframe. Имеется также список более мелких исправлений и улучшений.

Скачать Opera Mini браузер можно по адресу mini.opera.com. Текущим пользователям Opera Mini обновления сервера должны быть видны даже без обновления браузера.

Источник