in src/main/resources/js/prettify.js [135:153]
function ha(b) {
if (null === F) {
var a = document.createElement("pre");
a
.appendChild(document
.createTextNode('<!DOCTYPE foo PUBLIC "foo bar">\n<foo />'));
F = !/</.test(a.innerHTML)
}
if (F) {
var c = b.innerHTML;
if (S(b))
c = E(c);
return c
}
var d = [];
for ( var g = b.firstChild; g; g = g.nextSibling)
z(g, d);
return d.join("")
}