diff --git a/phpgwapi/inc/class.browser.inc.php b/phpgwapi/inc/class.browser.inc.php index ba5e5b3208..9a2e139bd8 100644 --- a/phpgwapi/inc/class.browser.inc.php +++ b/phpgwapi/inc/class.browser.inc.php @@ -220,6 +220,18 @@ } } + function is_opera() + { + if ($this->get_agent()=='OPERA') + { + return true; + } + else + { + return false; + } + } + // Echo content headers for file downloads function content_header($fn="",$mime="application/octetstream",$length="",$nocache=True) {