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;