Opera Mini web browser

Opera Mini ist ein Webbrowser, der die Inhalte von Internetseiten so umbaut, dass sie leichter von einem Handy verarbeitet werden können. Dies geschieht über einen externen Server bei Opera, dessen Rendering-Engine die Inhalte in ein komprimiertes Format übersetzt und unter anderem Bilder auf eine Smartphone-taugliche Größe herunterskaliert. Allerdings geht damit auch oft der Umbau der Seiten einher, da sie dem kleinen Display angepasst werden müssen. Im Test war festzustellen, dass Opera Mini sich im Vergleich zu anderen Android-Apps noch recht erfolgreich darum bemühte, dass keine Inhalte vonWebseiten verloren gehen. Opera Mini zeigte gegenüber anderen Browsern im Test auch weitere Vorteile: Dazu zählen das Offline-Lesen, die Möglichkeit, Seiten nach Begriffen zu durchsuchen, oder das Synchronisieren von Bookmarks.