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()
}