Add is_opera()

2001-04-13 13:32:16 +00:00 · 2001-04-13 13:32:16 +00:00 · 26f0586888
commit 26f0586888
parent bee99d173e
1 changed files with 12 additions and 0 deletions
--- 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)
 		{