Opera von anderen Browsern unterscheiden

[molily]

Hallo,

if (navigator.userAgent.indexOf("Opera")>=0){
  var opera=1;  // DANN IST ER EIN OPERA
das wage ich zu bezweifeln. Zwar verewigt sich Opera in den Standardeinstellungen im UA, aber eine Modifizierung sollte doch eigentlich möglich sein.

»Eigentlich«? Wie denn? Am Binärcode herumbasteln?

Mathias