Компания Opera Software обновила браузер Opera Mini для платформы iOS до версии 8.0. Причем, это первое значительное обновление приложения с…