in src/main/resources/js/prettify.js [83:103]
function ga(b) {
var a = b.indexOf("&");
if (a < 0)
return b;
for (--a; (a = b.indexOf("&#", a + 1)) >= 0;) {
var c = b.indexOf(";", a);
if (c >= 0) {
var d = b.substring(a + 3, c), g = 10;
if (d && d.charAt(0) === "x") {
d = d.substring(1);
g = 16
}
var e = parseInt(d, g);
if (!isNaN(e))
b = b.substring(0, a) + String.fromCharCode(e)
+ b.substring(c + 1)
}
}
return b.replace(aa, "<").replace(ba, ">").replace(ca, "'").replace(da,
'"').replace(ea, "&").replace(fa, " ")
}