@@ -47,8 +47,8 @@ $xhtml_end='';
$browser = 'msie4';
$dom_browser = false;
$is_IE = true;
-//FIXME: this fails for Opera because its user agent also contains MSIE
- } elseif (stristr($browser_user_agent, "msie")) {
+ } elseif (stristr($browser_user_agent, "msie")
+ && stristr($browser_user_agent, 'opera') === FALSE) {
$browser = 'msie';
$dom_browser = true;