Компания Opera Software выпустила новую версию популярного интернет-браузера Opera Mini 5.1 для устройств под управлением операционной системы Windows Mobile, сообщила компания в четверг.