Понадобилось мне сегодня на JavaScript распознать версию Opera, для версий младше 9-ки все просто:
var isDOM = document.getElementById //DOM1 browser
var isO = isO5 = window.opera && isDOM; //Opera 5+
var isO6 = isO && window.print //Opera 6+
var isO7 = isO && document.readyState //Opera 7+
var isO8 = isO && document.createProcessingInstruction && (new XMLHttpRequest()).getAllResponseHeaders //Opera 8+
А вот с опознованием Opera 9.0, в виду ее относительно недавного появления, были небольшие проблемы. Но кто ищет, тот всегда найдет. На всякий случай, если кому вдруг понадобится, код на JavaScript для идентификации Opera 9:
var isO9 = window.opera && window.getSelection; // Opera 9
