(function()()

in src/main/resources/js/prettify.js [214:222]


        (function() {
            var g = b.concat(a);
            for ( var e = g.length; --e >= 0;) {
                var h = g[e], f = h[3];
                if (f)
                    for ( var i = f.length; --i >= 0;)
                        c[f.charAt(i)] = h
            }
        })();