Число постоянных пользователей Opera Mini достигло 50 миллионов