Das Opera-Logo gibt es nun auch auf dem iPhone.

Opera Mini ist nun im App Store zu haben

Operas Mini-Browser für mobile Plattformen gibt es nun auch für das iPhone.

Auf das iPhone kommen nur Apps, die Apple erlaubt. Dabei müssen die Entwickler sich Lizenzbestimmungen halten, die unter andere vorsehen, dass eine App keinen fremden Programmcode ausführen können darf. Das ist ein Sicherheitsfeature (so wird etwa den digitalen Schädlingen die Tür versperrt), hat in der Praxis aber auch einen für die Anwender unerfreulichen Nebeneffekt.

Denn damit ist es nicht möglich, dass es echte Browser-Alternativen zu Safari auf dem iPhone gibt. Eine Browser zeigt schließlich nicht nur HTML-Code an, sondern führt auch Javascript aus, ohne das eine Webseite heute kaum noch denkbar ist. Die wenigen Browser, die es dennoch im App Store gibt, greifen für die Interpretation von Javascript auf die Rendering-Engine Webkit zu, die Bestandteil des Betriebssystems ist.

Doch mit Opera Mini liegt nun der erste Browser vor, der ohne Webkit arbeitet. Der Trick: Jeder Webseitenaufruf wird von Opera Mini an einen externen Server von Opera übermittelt, wo der Code einer Webseite interpretiert und das Ergebnis in stark komprimierter Form an Opera Mini übermittelt wird. Der Browser führt also überhaupt keinen Code mehr aus, sondern ist im Grunde nur ein Anzeigeprogramm dieser stark komprimierten Seiten.

Dabei bleibt zwar gelegentlich Funktionalität von Webseiten auf der Strecke, aber das wird durch da erstaunlich hohe Tempo des Browsers ausgeglichen.

Opera Mini kann ab sofort im App Store geladen werden. Das Programm ist kostenlos.

itunes.apple.com/de/app/opera-mini-web-browser/id363729560