[Edward]

Да не важно, какая настройка стоит у пользователя в Opera.
Оперу можно всегда определить по ключевую слову Opera ;-)
в HTTP_USER_AGENT