Daher kann man Opera Mini Extreme nicht als Opera abhandeln. Ich würde Opera Mini Extreme in den Browserunterstützungs-Angaben komplett ignorieren.

Vielen Dank für deine Ausführungen, dann hoffe ich mal, dass das bisher im Wiki auch so gehandhabt wurde.

KA. Hab aber grad mal auf Caniuse geschaut. Der aktuelle OP42 hat 1.1%, der letzte echte OP12.1 nur noch 0.2%, Opera Mini 0.3% und Opera Mobile global 0.01% in Deutschland niemanden (0%).

Ich habe Opera jetzt als unterstützt eingetragen.

Danke!