На прошедших выходных из магазина Windows Phone пропало несколько популярных приложений, в том числе альтернативный браузер Opera Mini со сжатием трафика. Сегодня он вернулся обратно.
По словам разработчиков, удаление Opera Mini было вызвано «неожиданными ошибками» в его работе — все они были устранены, и новую версию браузера уже можно скачать и установить.
Мы предполагали, что Opera убрала Opera Mini для того, чтобы опубликовать стабильный релиз, но это оказалось не так — браузер всё ещё находится на стадии назавершённого бета-тестирования.