Hi,
Opera benutzt zwar auch "MSIE", identifiziert sich aber auch als "Opera". Man muß also abfragen, ob "Opera" im HTTP_USER_AGENT vorkommt oder nicht.
In JavaScript wäre das:
if(navigator.userAgent.indexOf("Opera")!=-1)
Jetzt müßte das nur noch jemand in die Server-Sprache konvertieren, ich kann das nicht.