diff options
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; |