in src/main/resources/js/prettify.js [107:133]
function z(b, a) {
switch (b.nodeType) {
case 1:
var c = b.tagName.toLowerCase();
a.push("<", c);
for ( var d = 0; d < b.attributes.length; ++d) {
var g = b.attributes[d];
if (!g.specified)
continue;
a.push(" ");
z(g, a)
}
a.push(">");
for ( var e = b.firstChild; e; e = e.nextSibling)
z(e, a);
if (b.firstChild || !/^(?:br|link|img)$/.test(c))
a.push("</", c, ">");
break;
case 2:
a.push(b.name.toLowerCase(), '="', $(b.value), '"');
break;
case 3:
case 4:
a.push(E(b.nodeValue));
break
}
}