From 7b3d567d0cf111e643332b7e976b441a014f31e5 Mon Sep 17 00:00:00 2001
From: Manuel Knitza <manuel.knitza@uni.kn>
Date: Sun, 10 Feb 2013 02:53:07 +0100
Subject: [PATCH] .browser() support

Code appended to support use of .browser() (which is deprecated as of jquery 1.3 and was removed with v.1.9.0)
---
 src/static/js/jquery.js | 44 +++++++++++++++++++++++++++++++++++++++++
 1 file changed, 44 insertions(+)

diff --git a/src/static/js/jquery.js b/src/static/js/jquery.js
index e2c203fe9..50390d37d 100644
--- a/src/static/js/jquery.js
+++ b/src/static/js/jquery.js
@@ -9595,3 +9595,47 @@ if ( typeof define === "function" && define.amd && define.amd.jQuery ) {
 }
 
 })( window );
+
+// -------------------------------------
+// Begin of code snipped needed for backwards compatibility
+// - this ist not containd in jquery 1.9.1 !!
+// -------------------------------------
+// This can be removed as soon as all browser-indetifying calls are reworked
+
+var matched, browser;
+
+// Use of jQuery.browser is frowned upon.
+// More details: http://api.jquery.com/jQuery.browser
+// jQuery.uaMatch maintained for back-compat
+jQuery.uaMatch = function( ua ) {
+    ua = ua.toLowerCase();
+
+    var match = /(chrome)[ \/]([\w.]+)/.exec( ua ) ||
+        /(webkit)[ \/]([\w.]+)/.exec( ua ) ||
+        /(opera)(?:.*version|)[ \/]([\w.]+)/.exec( ua ) ||
+        /(msie) ([\w.]+)/.exec( ua ) ||
+        ua.indexOf("compatible") < 0 && /(mozilla)(?:.*? rv:([\w.]+)|)/.exec( ua ) ||
+        [];
+
+    return {
+        browser: match[ 1 ] || "",
+        version: match[ 2 ] || "0"
+    };
+};
+
+matched = jQuery.uaMatch( navigator.userAgent );
+browser = {};
+
+if ( matched.browser ) {
+    browser[ matched.browser ] = true;
+    browser.version = matched.version;
+}
+
+// Chrome is Webkit, but Webkit is also Safari.
+if ( browser.chrome ) {
+    browser.webkit = true;
+} else if ( browser.webkit ) {
+    browser.safari = true;
+}
+
+jQuery.browser = browser;