Opera vient de lancer la version 4.2 de son navigateur dans sa mouture « Mini ». Opera Mini se destine aux téléphones mobiles et autres PDA. La nouvelle édition 4.2 apporte des nouveautés bienvenues, et même la vidéo pour les téléphones récents.