diff options
author | Andrew Dolgov <[email protected]> | 2006-08-20 07:28:13 +0100 |
---|---|---|
committer | Andrew Dolgov <[email protected]> | 2006-08-20 07:28:13 +0100 |
commit | 7c620da8e14269f4cbe1410aef4d9d146c2e238e (patch) | |
tree | 79a591522493f5e99a981630280edb3cdf1835fd /functions.js | |
parent | 37897616fffa4d6db5e9865ed159200e83f31979 (diff) |
some opera-related fixes
Diffstat (limited to 'functions.js')
-rw-r--r-- | functions.js | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/functions.js b/functions.js index 269093022..2b74731e1 100644 --- a/functions.js +++ b/functions.js @@ -7,6 +7,10 @@ function browser_has_opacity() { navigator.userAgent.match("Opera") != null; } +function is_opera() { + return navigator.userAgent.match("Opera"); +} + function exception_error(location, e, silent) { var msg; |