https://docs.mathjax.org/en/v2.7/_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c

1/* Compatability shim for jQuery and underscores.js.
2 *
3 * Copyright Sphinx contributors
4 * Released under the two clause BSD licence
5 */
6
7/**
8 * small helper function to urldecode strings
9 *
10 * See https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/decodeURIComponent#Decoding_query_parameters_from_a_URL
11 */
12jQuery.urldecode = function(x) {
13    if (!x) {
14        return x
15    }
16    return decodeURIComponent(x.replace(/\+/g, ' '));
17};
18
19/**
20 * small helper function to urlencode strings
21 */
22jQuery.urlencode = encodeURIComponent;
23
24/**
25 * This function returns the parsed url parameters of the
26 * current request. Multiple values per key are supported,
27 * it will always return arrays of strings for the value parts.
28 */
29jQuery.getQueryParameters = function(s) {
30    if (typeof s === 'undefined')
31        s = document.location.search;
32    var parts = s.substr(s.indexOf('?') + 1).split('&');
33    var result = {};
34    for (var i = 0; i < parts.length; i++) {
35        var tmp = parts[i].split('=', 2);
36        var key = jQuery.urldecode(tmp[0]);
37        var value = jQuery.urldecode(tmp[1]);
38        if (key in result)
39            result[key].push(value);
40        else
41            result[key] = [value];
42    }
43    return result;
44};
45
46/**
47 * highlight a given string on a jquery object by wrapping it in
48 * span elements with the given class name.
49 */
50jQuery.fn.highlightText = function(text, className) {
51    function highlight(node, addItems) {
52        if (node.nodeType === 3) {
53            var val = node.nodeValue;
54            var pos = val.toLowerCase().indexOf(text);
55            if (pos >= 0 &&
56                !jQuery(node.parentNode).hasClass(className) &&
57                !jQuery(node.parentNode).hasClass("nohighlight")) {
58                var span;
59                var isInSVG = jQuery(node).closest("body, svg, foreignObject").is("svg");
60                if (isInSVG) {
61                    span = document.createElementNS("http://www.w3.org/2000/svg", "tspan");
62                } else {
63                    span = document.createElement("span");
64                    span.className = className;
65                }
66                span.appendChild(document.createTextNode(val.substr(pos, text.length)));
67                node.parentNode.insertBefore(span, node.parentNode.insertBefore(
68                    document.createTextNode(val.substr(pos + text.length)),
69                    node.nextSibling));
70                node.nodeValue = val.substr(0, pos);
71                if (isInSVG) {
72                    var rect = document.createElementNS("http://www.w3.org/2000/svg", "rect");
73                    var bbox = node.parentElement.getBBox();
74                    rect.x.baseVal.value = bbox.x;
75                    rect.y.baseVal.value = bbox.y;
76                    rect.width.baseVal.value = bbox.width;
77                    rect.height.baseVal.value = bbox.height;
78                    rect.setAttribute('class', className);
79                    addItems.push({
80                        "parent": node.parentNode,
81                        "target": rect});
82                }
83            }
84        }
85        else if (!jQuery(node).is("button, select, textarea")) {
86            jQuery.each(node.childNodes, function() {
87                highlight(this, addItems);
88            });
89        }
90    }
91    var addItems = [];
92    var result = this.each(function() {
93        highlight(this, addItems);
94    });
95    for (var i = 0; i < addItems.length; ++i) {
96        jQuery(addItems[i].parent).before(addItems[i].target);
97    }
98    return result;
99};
100
101/*
102 * backward compatibility for jQuery.browser
103 * This will be supported until firefox bug is fixed.
104 */
105if (!jQuery.browser) {
106    jQuery.uaMatch = function(ua) {
107        ua = ua.toLowerCase();
108
109        var match = /(chrome)[ \/]([\w.]+)/.exec(ua) ||
110            /(webkit)[ \/]([\w.]+)/.exec(ua) ||
111            /(opera)(?:.*version|)[ \/]([\w.]+)/.exec(ua) ||
112            /(msie) ([\w.]+)/.exec(ua) ||
113            ua.indexOf("compatible") < 0 && /(mozilla)(?:.*? rv:([\w.]+)|)/.exec(ua) ||
114            [];
115
116        return {
117            browser: match[ 1 ] || "",
118            version: match[ 2 ] || "0"
119        };
120    };
121    jQuery.browser = {};
122    jQuery.browser[jQuery.uaMatch(navigator.userAgent).browser] = true;
123}