Обновлен браузер Opera Mini

Команда разработчиков мобильного браузера Opera Mini объявила о внесении ряда улучшений в свой продукт. В частности, благодаря изменениям, внесённым в работу сервера, была повышена производительность браузера и исправлена его некорректная работа в некоторых случаях.

Разработчиками заявлены следующие улучшения и исправления в Opera Mini:
Добавлен простой пользовательский интерфейс для настроек сервера, переход в "opera:config" позволяет сконфигурировать некоторые установки
Улучшено распознавание телефонного номера, теперь неверных позиций будет несколько меньше (эту функцию можно отключить в "opera:config")
Время перехода в тайм-аут по умолчанию увеличено с 20 до 40 секунд
Усовершенствован движок обработки HTML-страниц
Теперь поддерживаются URL-адреса, начинающиеся с цифр (например, 360.yahoo.com), а также без http:// в начале
Содержимое папки можно увидеть даже на черном фоне
Различные оптимизации, благодаря которым перекодирование страницы занимает, в среднем, на 20% меньше времени
Еще несколько небольших исправлений