function f()

in src/main/resources/js/prettify.js [569:617]


        function f() {
            var i = (new Date).getTime() + 250;
            for (; h < d.length && (new Date).getTime() < i; h++) {
                var j = d[h];
                if (j.className && j.className.indexOf("source") >= 0) {
                    var o = j.className.match(/\blang-(\w+)\b/);
                    if (o)
                        o = o[1];
                    var m = false;
                    for ( var k = j.parentNode; k; k = k.parentNode)
                        if ((k.tagName === "pre" || k.tagName === "code" || k.tagName === "xmp" || k.tagName == "div")
                                && k.className
                                && k.className.indexOf("source") >= 0) {
                            m = true;
                            break
                        }
                    if (!m) {
                        var l = ha(j);
                        l = l.replace(/(?:\r\n?|\n)$/, "");
                        var n = T(l, o);
                        if (!S(j))
                            j.innerHTML = n;
                        else {
                            var p = document.createElement("pre");
                            for ( var t = 0; t < j.attributes.length; ++t) {
                                var w = j.attributes[t];
                                if (w.specified)
                                    p.setAttribute(w.name, w.value)
                            }
                            p.innerHTML = n;
                            j.parentNode.replaceChild(p, j);
                            p = j
                        }
                        if (a && j.tagName === "pre") {
                            var A = j.getElementsByTagName("br");
                            for ( var B = A.length; --B >= 0;) {
                                var s = A[B];
                                s.parentNode.replaceChild(document
                                        .createTextNode("\r\n"), s)
                            }
                        }
                    }
                }
            }
            if (h < d.length)
                setTimeout(f, 250);
            else if (b)
                b()
        }