2023年政策修订增补工作正在进行中,欢迎参与!
  • Moegirl.ICU:萌娘百科流亡社群 581077156(QQ),欢迎对萌娘百科运营感到失望的编辑者加入
  • Moegirl.ICU:账号认领正在试运行,有意者请参照账号认领流程

MediaWiki:Gadget-code-prettify.js

萌娘百科,万物皆可萌的百科全书!转载请标注来源页面的网页链接,并声明引自萌娘百科。内容不可商用。
跳转到导航 跳转到搜索

注意:在保存之后,您可能需要清除浏览器缓存才能看到所作出的变更的影响。

  • Firefox/Safari:按住“Shift”的同时单击“刷新”,或按“Ctrl-F5”或“Ctrl-R”(Mac为“⌘-R”)
  • Google Chrome:按“Ctrl-Shift-R”(Mac为“⌘-Shift-R”)
  • Internet Explorer:按住“Ctrl”的同时单击“刷新”,或按“Ctrl-F5”
  • Opera:在“工具→首选项”中清除缓存
如果您已登录但该页面出现未登录状态,请尝试在地址栏的地址最后添加代码?_=1来访问最新页面。
添加代码后的本页地址如下:-{R|https://moegirl.icu/MediaWiki:Gadget-code-prettify.js?_=1}-
萌娘百科界面管理员团队提醒您
大萌字-InterfaceAdmin.png
本页面由萌娘百科界面管理员团队在其 GitHub 库内进行维护,通过机器人自动生成可被 MediaWiki Gadget 扩展接受的版本并保存到此处。
Fix #435
如果您有任何意见或建议,建议您到技术实现版提出。
/**
 * -------------------------------------------------------------------------
 * !!! DON'T MODIFY THIS PAGE MANUALLY, YOUR CHANGES WILL BE OVERWRITTEN !!!
 * -------------------------------------------------------------------------
 */
var _addText = '{{GHIACode|page=GHIA:MoegirlPediaInterfaceCodes/blob/master/src/gadgets/code-prettify/MediaWiki:Gadget-code-prettify.js|user=[[U:AnnAngela]]|co-authors=|longId=85645e5c35e5aeb8fbca6d1d6ce716b5be586af5|shortId=85645e5c|summary=fix(Gadget/code-prettify): 修正语言选择错误|body=<nowiki>Fix #435</nowiki>}}'; 

/* <pre> */

"use strict";
var __read = (this && this.__read) || function (o, n) {
    var m = typeof Symbol === "function" && o[Symbol.iterator];
    if (!m) return o;
    var i = m.call(o), r, ar = [], e;
    try {
        while ((n === void 0 || n-- > 0) && !(r = i.next()).done) ar.push(r.value);
    }
    catch (error) { e = { error: error }; }
    finally {
        try {
            if (r && !r.done && (m = i["return"])) m.call(i);
        }
        finally { if (e) throw e.error; }
    }
    return ar;
};
var __spreadArray = (this && this.__spreadArray) || function (to, from, pack) {
    if (pack || arguments.length === 2) for (var i = 0, l = from.length, ar; i < l; i++) {
        if (ar || !(i in from)) {
            if (!ar) ar = Array.prototype.slice.call(from, 0, i);
            ar[i] = from[i];
        }
    }
    return to.concat(ar || Array.prototype.slice.call(from));
};
$(function () {
    if (mw.config.get("wgPageName").match(/\.js$/)) {
        $(".mw-code").addClass("prettyprint lang-js");
    }
    if (mw.config.get("wgPageName").match(/\.css$/)) {
        $(".mw-code").addClass("prettyprint lang-css");
    }
    var acceptsLangs = {
        ts: "ts",
        typescript: "ts",
        js: "js",
        javascript: "js",
        json: "json",
        css: "css",
        "sanitized-css": "css",
        htm: "html",
        html: "html",
        xml: "xml",
        scribunto: "lua",
        lua: "lua",
        php: "php",
        regex: "regex",
        latex: "latex",
        tex: "latex"
    };
    var wgPageContentModel = mw.config.get("wgPageContentModel", "").toLowerCase();
    if (Reflect.has(acceptsLangs, wgPageContentModel)) {
        $(".mw-code").addClass("prettyprint lang-".concat(acceptsLangs[wgPageContentModel]));
    }
    $("pre[lang]").each(function () {
        var self = $(this);
        var lang = self.attr("lang").toLowerCase();
        if (Reflect.has(acceptsLangs, lang)) {
            self.addClass("prettyprint lang-".concat(acceptsLangs[lang]));
        }
    });
    if ($('.prettyprint[class*=" lang-"]').length === 0) {
        return;
    }
    $('pre.prettyprint[class*=" lang-"]').each(function (_, ele) {
        var start = ele.dataset.start;
        if (/^[1-9]\d*$/.test(start)) {
            $(ele).removeClass("linenums").addClass("linenums:".concat(start));
        }
        else {
            $(ele).addClass("linenums");
        }
    });
    var PR_SHOULD_USE_CONTINUATION = true;
    window.PR_SHOULD_USE_CONTINUATION = PR_SHOULD_USE_CONTINUATION;
    var FLOW_CONTROL_KEYWORDS = ["break,continue,do,else,for,if,return,while"];
    var C_KEYWORDS = [FLOW_CONTROL_KEYWORDS, "auto,case,char,const,default," + "double,enum,extern,float,goto,inline,int,long,register,restrict,short,signed," + "sizeof,static,struct,switch,typedef,union,unsigned,void,volatile"];
    var COMMON_KEYWORDS = [C_KEYWORDS, "catch,class,delete,false,import," + "new,operator,private,protected,public,this,throw,true,try,typeof"];
    var CPP_KEYWORDS = [COMMON_KEYWORDS, "alignas,alignof,align_union,asm,axiom,bool," + "concept,concept_map,const_cast,constexpr,decltype,delegate," + "dynamic_cast,explicit,export,friend,generic,late_check," + "mutable,namespace,noexcept,noreturn,nullptr,property,reinterpret_cast,static_assert," + "static_cast,template,typeid,typename,using,virtual,where"];
    var JAVA_KEYWORDS = [COMMON_KEYWORDS, "abstract,assert,boolean,byte,extends,finally,final,implements,import," + "instanceof,interface,null,native,package,strictfp,super,synchronized," + "throws,transient"];
    var CSHARP_KEYWORDS = [COMMON_KEYWORDS, "abstract,add,alias,as,ascending,async,await,base,bool,by,byte,checked,decimal,delegate,descending," + "dynamic,event,finally,fixed,foreach,from,get,global,group,implicit,in,interface," + "internal,into,is,join,let,lock,null,object,out,override,orderby,params," + "partial,readonly,ref,remove,sbyte,sealed,select,set,stackalloc,string,select,uint,ulong," + "unchecked,unsafe,ushort,value,var,virtual,where,yield"];
    var COFFEE_KEYWORDS = "all,and,by,catch,class,else,extends,false,finally," + "for,if,in,is,isnt,loop,new,no,not,null,of,off,on,or,return,super,then," + "throw,true,try,unless,until,when,while,yes";
    var JSCRIPT_KEYWORDS = [COMMON_KEYWORDS, "abstract,async,await,constructor,debugger,enum,eval,export,from,function," + "get,import,implements,instanceof,interface,let,null,of,set,undefined," + "var,with,yield,Infinity,NaN"];
    var PERL_KEYWORDS = "caller,delete,die,do,dump,elsif,eval,exit,foreach,for," + "goto,if,import,last,local,my,next,no,our,print,package,redo,require," + "sub,undef,unless,until,use,wantarray,while,BEGIN,END";
    var PYTHON_KEYWORDS = [FLOW_CONTROL_KEYWORDS, "and,as,assert,class,def,del," + "elif,except,exec,finally,from,global,import,in,is,lambda," + "nonlocal,not,or,pass,print,raise,try,with,yield," + "False,True,None"];
    var RUBY_KEYWORDS = [FLOW_CONTROL_KEYWORDS, "alias,and,begin,case,class," + "def,defined,elsif,end,ensure,false,in,module,next,nil,not,or,redo," + "rescue,retry,self,super,then,true,undef,unless,until,when,yield," + "BEGIN,END"];
    var SH_KEYWORDS = [FLOW_CONTROL_KEYWORDS, "case,done,elif,esac,eval,fi," + "function,in,local,set,then,until"];
    var ALL_KEYWORDS = [CPP_KEYWORDS, CSHARP_KEYWORDS, JAVA_KEYWORDS, JSCRIPT_KEYWORDS, PERL_KEYWORDS, PYTHON_KEYWORDS, RUBY_KEYWORDS, SH_KEYWORDS];
    var C_TYPES = /^(DIR|FILE|array|vector|(de|priority_)?queue|(forward_)?list|stack|(const_)?(reverse_)?iterator|(unordered_)?(multi)?(set|map)|bitset|u?(int|float)\d*)\b/;
    var PR_STRING = "str";
    var PR_KEYWORD = "kwd";
    var PR_COMMENT = "com";
    var PR_TYPE = "typ";
    var PR_LITERAL = "lit";
    var PR_PUNCTUATION = "pun";
    var PR_PLAIN = "pln";
    var PR_TAG = "tag";
    var PR_DECLARATION = "dec";
    var PR_SOURCE = "src";
    var PR_ATTRIB_NAME = "atn";
    var PR_ATTRIB_VALUE = "atv";
    var PR_NOCODE = "nocode";
    var REGEXP_PRECEDER_PATTERN = "(?:^^\\.?|[+-]|[!=]=?=?|\\#|%=?|&&?=?|\\(|\\*=?|[+\\-]=|->|\\/=?|::?|<<?=?|>>?>?=?|,|;|\\?|@|\\[|~|{|\\^\\^?=?|\\|\\|?=?|break|case|continue|delete|do|else|finally|instanceof|return|throw|try|typeof)\\s*";
    var combinePrefixPatterns = function (regexs) {
        var capturedGroupIndex = 0;
        var needToFoldCase = false;
        var ignoreCase = false;
        for (var i = 0, n = regexs.length; i < n; ++i) {
            var regex = regexs[i];
            if (regex.ignoreCase) {
                ignoreCase = true;
            }
            else if (/[a-z]/i.test(regex.source.replace(/\\u[0-9a-f]{4}|\\x[0-9a-f]{2}|\\[^ux]/gi, ""))) {
                needToFoldCase = true;
                ignoreCase = false;
                break;
            }
        }
        var escapeCharToCodeUnit = {
            b: 8,
            t: 9,
            n: 10,
            v: 11,
            f: 12,
            r: 13
        };
        var decodeEscape = function (charsetPart) {
            var cc0 = charsetPart.charCodeAt(0);
            if (cc0 !== 92) {
                return cc0;
            }
            var c1 = charsetPart.charAt(1);
            cc0 = escapeCharToCodeUnit[c1];
            if (cc0) {
                return cc0;
            }
            else if ("0" <= c1 && c1 <= "7") {
                return parseInt(charsetPart.substring(1), 8);
            }
            else if (c1 === "u" || c1 === "x") {
                return parseInt(charsetPart.substring(2), 16);
            }
            return charsetPart.charCodeAt(1);
        };
        var encodeEscape = function (charCode) {
            if (charCode < 32) {
                return (charCode < 16 ? "\\x0" : "\\x") + charCode.toString(16);
            }
            var ch = String.fromCharCode(charCode);
            return ch === "\\" || ch === "-" || ch === "]" || ch === "^" ? "\\".concat(ch) : ch;
        };
        var caseFoldCharset = function (charSet) {
            var charsetParts = charSet.substring(1, charSet.length - 1).match(new RegExp("\\\\u[0-9A-Fa-f]{4}" + "|\\\\x[0-9A-Fa-f]{2}" + "|\\\\[0-3][0-7]{0,2}" + "|\\\\[0-7]{1,2}" + "|\\\\[\\s\\S]" + "|-" + "|[^-\\\\]", "g"));
            var ranges = [];
            var inverse = charsetParts[0] === "^";
            var out = ["["];
            if (inverse) {
                out.push("^");
            }
            for (var i = inverse ? 1 : 0, n = charsetParts.length; i < n; ++i) {
                var p = charsetParts[i];
                if (/\\[bdsw]/i.test(p)) {
                    out.push(p);
                }
                else {
                    var start = decodeEscape(p);
                    var end = void 0;
                    if (i + 2 < n && "-" === charsetParts[i + 1]) {
                        end = decodeEscape(charsetParts[i + 2]);
                        i += 2;
                    }
                    else {
                        end = start;
                    }
                    ranges.push([start, end]);
                    if (!(end < 65 || start > 122)) {
                        if (!(end < 65 || start > 90)) {
                            ranges.push([Math.max(65, start) | 32, Math.min(end, 90) | 32]);
                        }
                        if (!(end < 97 || start > 122)) {
                            ranges.push([Math.max(97, start) & ~32, Math.min(end, 122) & ~32]);
                        }
                    }
                }
            }
            ranges.sort(function (a, b) { return a[0] - b[0] || b[1] - a[1]; });
            var consolidatedRanges = [];
            var lastRange = [];
            for (var i = 0; i < ranges.length; ++i) {
                var range = ranges[i];
                if (range[0] <= lastRange[1] + 1) {
                    lastRange[1] = Math.max(lastRange[1], range[1]);
                }
                else {
                    consolidatedRanges.push(lastRange = range);
                }
            }
            for (var i = 0; i < consolidatedRanges.length; ++i) {
                var range = consolidatedRanges[i];
                out.push(encodeEscape(range[0]));
                if (range[1] > range[0]) {
                    if (range[1] + 1 > range[0]) {
                        out.push("-");
                    }
                    out.push(encodeEscape(range[1]));
                }
            }
            out.push("]");
            return out.join("");
        };
        var allowAnywhereFoldCaseAndRenumberGroups = function (regex) {
            var parts = regex.source.match(new RegExp("(?:" + "\\[(?:[^\\x5C\\x5D]|\\\\[\\s\\S])*\\]" + "|\\\\u[A-Fa-f0-9]{4}" + "|\\\\x[A-Fa-f0-9]{2}" + "|\\\\[0-9]+" + "|\\\\[^ux0-9]" + "|\\(\\?[:!=]" + "|[\\(\\)\\^]" + "|[^\\x5B\\x5C\\(\\)\\^]+" + ")", "g"));
            var n = parts.length;
            var capturedGroups = [];
            for (var i = 0, groupIndex = 0; i < n; ++i) {
                var p = parts[i];
                if (p === "(") {
                    ++groupIndex;
                }
                else if ("\\" === p.charAt(0)) {
                    var decimalValue = +p.substring(1);
                    if (decimalValue) {
                        if (decimalValue <= groupIndex) {
                            capturedGroups[decimalValue] = -1;
                        }
                        else {
                            parts[i] = encodeEscape(decimalValue);
                        }
                    }
                }
            }
            for (var i = 1; i < capturedGroups.length; ++i) {
                if (-1 === capturedGroups[i]) {
                    capturedGroups[i] = ++capturedGroupIndex;
                }
            }
            for (var i = 0, groupIndex = 0; i < n; ++i) {
                var p = parts[i];
                if (p === "(") {
                    ++groupIndex;
                    if (!capturedGroups[groupIndex]) {
                        parts[i] = "(?:";
                    }
                }
                else if ("\\" === p.charAt(0)) {
                    var decimalValue = +p.substring(1);
                    if (decimalValue && decimalValue <= groupIndex) {
                        parts[i] = "\\".concat(capturedGroups[decimalValue]);
                    }
                }
            }
            for (var i = 0; i < n; ++i) {
                if ("^" === parts[i] && "^" !== parts[i + 1]) {
                    parts[i] = "";
                }
            }
            if (regex.ignoreCase && needToFoldCase) {
                for (var i = 0; i < n; ++i) {
                    var p = parts[i];
                    var ch0 = p.charAt(0);
                    if (p.length >= 2 && ch0 === "[") {
                        parts[i] = caseFoldCharset(p);
                    }
                    else if (ch0 !== "\\") {
                        parts[i] = p.replace(/[a-zA-Z]/g, function (ch) {
                            var cc = ch.charCodeAt(0);
                            return "[".concat(String.fromCharCode(cc & ~32, cc | 32), "]");
                        });
                    }
                }
            }
            return parts.join("");
        };
        var rewritten = [];
        for (var i = 0, n = regexs.length; i < n; ++i) {
            var regex = regexs[i];
            if (regex.global || regex.multiline) {
                throw new Error("".concat(regex));
            }
            rewritten.push("(?:".concat(allowAnywhereFoldCaseAndRenumberGroups(regex), ")"));
        }
        return new RegExp(rewritten.join("|"), ignoreCase ? "gi" : "g");
    };
    var extractSourceSpans = function (node, isPreformatted) {
        var nocode = /(?:^|\s)nocode(?:\s|$)/;
        var chunks = [];
        var length = 0;
        var spans = [];
        var k = 0;
        var walk = function (node) {
            var type = node.nodeType;
            if (type === 1) {
                if (nocode.test(node.className)) {
                    return;
                }
                for (var child = node.firstChild; child; child = child.nextSibling) {
                    walk(child);
                }
                var nodeName = node.nodeName.toLowerCase();
                if ("br" === nodeName || "li" === nodeName) {
                    chunks[k] = "\n";
                    spans[k << 1] = length++;
                    spans[k++ << 1 | 1] = node;
                }
            }
            else if (type === 3 || type === 4) {
                var text = node.nodeValue;
                if (text.length) {
                    if (!isPreformatted) {
                        text = text.replace(/[ \t\r\n]+/g, " ");
                    }
                    else {
                        text = text.replace(/\r\n?/g, "\n");
                    }
                    chunks[k] = text;
                    spans[k << 1] = length;
                    length += text.length;
                    spans[k++ << 1 | 1] = node;
                }
            }
        };
        walk(node);
        return {
            sourceCode: chunks.join("").replace(/\n$/, ""),
            spans: spans
        };
    };
    var appendDecorations = function (sourceNode, basePos, sourceCode, langHandler, out) {
        if (!sourceCode) {
            return;
        }
        var job = {
            sourceNode: sourceNode,
            pre: 1,
            langExtension: null,
            numberLines: null,
            sourceCode: sourceCode,
            spans: null,
            basePos: basePos,
            decorations: null
        };
        langHandler(job);
        out.push.apply(out, __spreadArray([], __read(job.decorations), false));
    };
    var notWs = /\S/;
    var childContentWrapper = function (element) {
        var wrapper = undefined;
        for (var c = element.firstChild; c; c = c.nextSibling) {
            var type = c.nodeType;
            wrapper = type === 1 ? wrapper ? element : c : type === 3 ? notWs.test(c.nodeValue) ? element : wrapper : wrapper;
        }
        return wrapper === element ? undefined : wrapper;
    };
    var createSimpleLexer = function (shortcutStylePatterns, fallthroughStylePatterns) {
        var shortcuts = {};
        var tokenizer;
        (function () {
            var allPatterns = shortcutStylePatterns.concat(fallthroughStylePatterns);
            var allRegexs = [];
            var regexKeys = {};
            for (var i = 0, n = allPatterns.length; i < n; ++i) {
                var patternParts = allPatterns[i];
                var shortcutChars = patternParts[3];
                if (shortcutChars) {
                    for (var c = shortcutChars.length; --c >= 0;) {
                        shortcuts[shortcutChars.charAt(c)] = patternParts;
                    }
                }
                var regex = patternParts[1];
                var k = "".concat(regex);
                if (!Object.prototype.hasOwnProperty.bind(regexKeys)(k)) {
                    allRegexs.push(regex);
                    regexKeys[k] = null;
                }
            }
            allRegexs.push(/[\0-\uffff]/);
            tokenizer = combinePrefixPatterns(allRegexs);
        })();
        var nPatterns = fallthroughStylePatterns.length;
        var decorate = function (job) {
            var sourceCode = job.sourceCode, basePos = job.basePos;
            var sourceNode = job.sourceNode;
            var decorations = [basePos, PR_PLAIN];
            var pos = 0;
            var tokens = sourceCode.match(tokenizer) || [];
            var styleCache = {};
            for (var ti = 0, nTokens = tokens.length; ti < nTokens; ++ti) {
                var token = tokens[ti];
                var style = styleCache[token];
                var match = void 0;
                var isEmbedded = void 0;
                if (typeof style === "string") {
                    isEmbedded = false;
                }
                else {
                    var patternParts = shortcuts[token.charAt(0)];
                    if (patternParts) {
                        match = token.match(patternParts[1]);
                        style = patternParts[0];
                    }
                    else {
                        for (var i = 0; i < nPatterns; ++i) {
                            patternParts = fallthroughStylePatterns[i];
                            match = token.match(patternParts[1]);
                            if (match) {
                                style = patternParts[0];
                                break;
                            }
                        }
                        if (!match) {
                            style = PR_PLAIN;
                        }
                    }
                    isEmbedded = style.length >= 5 && "lang-" === style.substring(0, 5);
                    if (isEmbedded && !(match && typeof match[1] === "string")) {
                        isEmbedded = false;
                        style = PR_SOURCE;
                    }
                    if (!isEmbedded) {
                        styleCache[token] = style;
                    }
                }
                var tokenStart = pos;
                pos += token.length;
                if (!isEmbedded) {
                    decorations.push(basePos + tokenStart, style);
                }
                else {
                    var embeddedSource = match[1];
                    var embeddedSourceStart = token.indexOf(embeddedSource);
                    var embeddedSourceEnd = embeddedSourceStart + embeddedSource.length;
                    if (match[2]) {
                        embeddedSourceEnd = token.length - match[2].length;
                        embeddedSourceStart = embeddedSourceEnd - embeddedSource.length;
                    }
                    var lang = style.substring(5);
                    appendDecorations(sourceNode, basePos + tokenStart, token.substring(0, embeddedSourceStart), decorate, decorations);
                    appendDecorations(sourceNode, basePos + tokenStart + embeddedSourceStart, embeddedSource, langHandlerForExtension(lang, embeddedSource), decorations);
                    appendDecorations(sourceNode, basePos + tokenStart + embeddedSourceEnd, token.substring(embeddedSourceEnd), decorate, decorations);
                }
            }
            job.decorations = decorations;
        };
        return decorate;
    };
    var sourceDecorator = function (options) {
        var shortcutStylePatterns = [], fallthroughStylePatterns = [];
        if (options.tripleQuotedStrings) {
            shortcutStylePatterns.push([PR_STRING, /^(?:'''(?:[^'\\]|\\[\s\S]|'{1,2}(?=[^']))*(?:'''|$)|"""(?:[^"\\]|\\[\s\S]|"{1,2}(?=[^"]))*(?:"""|$)|'(?:[^'\\]|\\[\s\S])*(?:'|$)|"(?:[^"\\]|\\[\s\S])*(?:"|$))/, null, "'\""]);
        }
        else if (options.multiLineStrings) {
            shortcutStylePatterns.push([PR_STRING, /^(?:'(?:[^'\\]|\\[\s\S])*(?:'|$)|"(?:[^"\\]|\\[\s\S])*(?:"|$)|`(?:[^`\\]|\\[\s\S])*(?:`|$))/, null, "'\"`"]);
        }
        else {
            shortcutStylePatterns.push([PR_STRING, /^(?:'(?:[^'\\\r\n]|\\.)*(?:'|$)|"(?:[^"\\\r\n]|\\.)*(?:"|$))/, null, "\"'"]);
        }
        if (options.verbatimStrings) {
            fallthroughStylePatterns.push([PR_STRING, /^@"(?:[^"]|"")*(?:"|$)/, null]);
        }
        var hc = options.hashComments;
        if (hc) {
            if (options.cStyleComments) {
                if (hc > 1) {
                    shortcutStylePatterns.push([PR_COMMENT, /^#(?:##(?:[^#]|#(?!##))*(?:###|$)|.*)/, null, "#"]);
                }
                else {
                    shortcutStylePatterns.push([PR_COMMENT, /^#(?:(?:define|e(?:l|nd)if|else|error|ifn?def|include|line|pragma|undef|warning)\b|[^\r\n]*)/, null, "#"]);
                }
                fallthroughStylePatterns.push([PR_STRING, /^<(?:(?:(?:\.\.\/)*|\/?)(?:[\w-]+(?:\/[\w-]+)+)?[\w-]+\.h(?:h|pp|\+\+)?|[a-z]\w*)>/, null]);
            }
            else {
                shortcutStylePatterns.push([PR_COMMENT, /^#[^\r\n]*/, null, "#"]);
            }
        }
        if (options.cStyleComments) {
            fallthroughStylePatterns.push([PR_COMMENT, /^\/\/[^\r\n]*/, null]);
            fallthroughStylePatterns.push([PR_COMMENT, /^\/\*[\s\S]*?(?:\*\/|$)/, null]);
        }
        var regexLiterals = options.regexLiterals;
        if (regexLiterals) {
            var regexExcls = regexLiterals > 1 ? "" : "\n\r";
            var regexAny = regexExcls ? "." : "[\\S\\s]";
            var REGEX_LITERAL = "/(?=[^/*".concat(regexExcls, "])") + "(?:[^/\\x5B\\x5C".concat(regexExcls, "]") + "|\\x5C".concat(regexAny, "|\\x5B(?:[^\\x5C\\x5D").concat(regexExcls, "]") + "|\\x5C".concat(regexAny, ")*(?:\\x5D|$))+") + "/";
            fallthroughStylePatterns.push(["lang-regex", RegExp("^".concat(REGEXP_PRECEDER_PATTERN, "(").concat(REGEX_LITERAL, ")"))]);
        }
        var types = options.types;
        if (types) {
            fallthroughStylePatterns.push([PR_TYPE, types]);
        }
        var keywords = "".concat(options.keywords).replace(/^ | $/g, "");
        if (keywords.length) {
            fallthroughStylePatterns.push([PR_KEYWORD, new RegExp("^(?:".concat(keywords.replace(/[\s,]+/g, "|"), ")\\b")), null]);
        }
        shortcutStylePatterns.push([PR_PLAIN, /^\s+/, null, " \r\n\t "]);
        var punctuation = "^.[^\\s\\w.$@'\"`/\\\\]*";
        if (options.regexLiterals) {
            punctuation += "(?!s*/)";
        }
        fallthroughStylePatterns.push([PR_LITERAL, /^@[a-z_$][a-z_$@0-9]*/i, null], [PR_TYPE, /^(?:[@_]?[A-Z]+[a-z][A-Za-z_$@0-9]*|\w+_t\b)/, null], [PR_PLAIN, /^[a-z_$][a-z_$@0-9]*/i, null], [PR_LITERAL, new RegExp("^(?:" + "0x[a-f0-9]+" + "|(?:\\d(?:_\\d+)*\\d*(?:\\.\\d*)?|\\.\\d\\+)" + "(?:e[+\\-]?\\d+)?" + ")" + "[a-z]*", "i"), null, "0123456789"], [PR_PLAIN, /^\\[\s\S]?/, null], [PR_PUNCTUATION, new RegExp(punctuation), null]);
        return createSimpleLexer(shortcutStylePatterns, fallthroughStylePatterns);
    };
    var decorateSource = sourceDecorator({
        keywords: ALL_KEYWORDS,
        hashComments: true,
        cStyleComments: true,
        multiLineStrings: true,
        regexLiterals: true
    });
    var numberLines = function (node, startLineNum, isPreformatted) {
        var nocode = /(?:^|\s)nocode(?:\s|$)/;
        var lineBreak = /\r\n?|\n/;
        var document = node.ownerDocument;
        var li = document.createElement("li");
        while (node.firstChild) {
            li.appendChild(node.firstChild);
        }
        var listItems = [li];
        var walk = function (node) {
            var type = node.nodeType;
            if (type === 1 && !nocode.test(node.className)) {
                if ("br" === node.nodeName.toLowerCase()) {
                    breakAfter(node);
                    if (node.parentNode) {
                        node.parentNode.removeChild(node);
                    }
                }
                else {
                    for (var child = node.firstChild; child; child = child.nextSibling) {
                        walk(child);
                    }
                }
            }
            else if ((type === 3 || type === 4) && isPreformatted) {
                var text = node.nodeValue;
                var match = text.match(lineBreak);
                if (match) {
                    var firstLine = text.substring(0, match.index);
                    node.nodeValue = firstLine;
                    var tail = text.substring(match.index + match[0].length);
                    if (tail) {
                        var parent_1 = node.parentNode;
                        parent_1.insertBefore(document.createTextNode(tail), node.nextSibling);
                    }
                    breakAfter(node);
                    if (!firstLine) {
                        node.parentNode.removeChild(node);
                    }
                }
            }
        };
        var breakAfter = function (_lineEndNode) {
            var lineEndNode = _lineEndNode;
            while (!lineEndNode.nextSibling) {
                lineEndNode = lineEndNode.parentNode;
                if (!lineEndNode) {
                    return;
                }
            }
            var breakLeftOf = function (limit, copy) {
                var rightSide = copy ? limit.cloneNode(false) : limit;
                var parent = limit.parentNode;
                if (parent) {
                    var parentClone = breakLeftOf(parent, 1);
                    var next = limit.nextSibling;
                    parentClone.appendChild(rightSide);
                    for (var sibling = next; sibling; sibling = next) {
                        next = sibling.nextSibling;
                        parentClone.appendChild(sibling);
                    }
                }
                return rightSide;
            };
            var copiedListItem = breakLeftOf(lineEndNode.nextSibling, 0);
            for (var parent_2; (parent_2 = copiedListItem.parentNode) && parent_2.nodeType === 1;) {
                copiedListItem = parent_2;
            }
            listItems.push(copiedListItem);
        };
        for (var i = 0; i < listItems.length; ++i) {
            walk(listItems[i]);
        }
        if (startLineNum === (startLineNum | 0)) {
            listItems[0].setAttribute("value", startLineNum);
        }
        var ol = document.createElement("ol");
        ol.className = "linenums";
        var offset = Math.max(0, startLineNum - 1 | 0) || 0;
        for (var i = 0, n = listItems.length; i < n; ++i) {
            li = listItems[i];
            li.className = "L".concat((i + offset) % 10);
            li.id = "L".concat(i + offset + 1);
            if (!li.firstChild) {
                li.appendChild(document.createTextNode(" "));
            }
            ol.appendChild(li);
        }
        node.appendChild(ol);
    };
    var recombineTagsAndDecorations = function (job) {
        var isIE8OrEarlier = /\bMSIE\s(\d+)/.exec(navigator.userAgent);
        isIE8OrEarlier && (isIE8OrEarlier = +isIE8OrEarlier[1] <= 8);
        var newlineRe = /\n/g;
        var source = job.sourceCode;
        var sourceLength = source.length;
        var sourceIndex = 0;
        var spans = job.spans;
        var nSpans = spans.length;
        var spanIndex = 0;
        var decorations = job.decorations;
        var nDecorations = decorations.length;
        var decorationIndex = 0;
        decorations[nDecorations] = sourceLength;
        var decPos, i;
        for (i = decPos = 0; i < nDecorations;) {
            if (decorations[i] !== decorations[i + 2]) {
                decorations[decPos++] = decorations[i++];
                decorations[decPos++] = decorations[i++];
            }
            else {
                i += 2;
            }
        }
        nDecorations = decPos;
        for (i = decPos = 0; i < nDecorations;) {
            var startPos = decorations[i];
            var startDec = decorations[i + 1];
            var end = i + 2;
            while (end + 2 <= nDecorations && decorations[end + 1] === startDec) {
                end += 2;
            }
            decorations[decPos++] = startPos;
            decorations[decPos++] = startDec;
            i = end;
        }
        nDecorations = decorations.length = decPos;
        var sourceNode = job.sourceNode;
        var oldDisplay = "";
        if (sourceNode) {
            oldDisplay = sourceNode.style.display;
            sourceNode.style.display = "none";
        }
        try {
            while (spanIndex < nSpans) {
                var spanEnd = spans[spanIndex + 2] || sourceLength;
                var decEnd = decorations[decorationIndex + 2] || sourceLength;
                var end = Math.min(spanEnd, decEnd);
                var textNode = spans[spanIndex + 1];
                var styledText = void 0;
                if (textNode.nodeType !== 1 && (styledText = source.substring(sourceIndex, end))) {
                    if (isIE8OrEarlier) {
                        styledText = styledText.replace(newlineRe, "\r");
                    }
                    textNode.nodeValue = styledText;
                    var document_1 = textNode.ownerDocument;
                    var span = document_1.createElement("span");
                    span.className = decorations[decorationIndex + 1];
                    var parentNode = textNode.parentNode;
                    parentNode.replaceChild(span, textNode);
                    span.appendChild(textNode);
                    if (sourceIndex < spanEnd) {
                        spans[spanIndex + 1] = textNode = document_1.createTextNode(source.substring(end, spanEnd));
                        parentNode.insertBefore(textNode, span.nextSibling);
                    }
                }
                sourceIndex = end;
                if (sourceIndex >= spanEnd) {
                    spanIndex += 2;
                }
                if (sourceIndex >= decEnd) {
                    decorationIndex += 2;
                }
            }
        }
        finally {
            if (sourceNode) {
                sourceNode.style.display = oldDisplay;
            }
        }
    };
    var langHandlerRegistry = {};
    var registerLangHandler = function (handler, fileExtensions) {
        for (var i = fileExtensions.length; --i >= 0;) {
            var ext = fileExtensions[i];
            if (!Object.prototype.hasOwnProperty.bind(langHandlerRegistry)(ext)) {
                langHandlerRegistry[ext] = handler;
            }
            else if (window.console) {
                console.warn("cannot override language handler %s", ext);
            }
        }
    };
    var langHandlerForExtension = function (_extension, source) {
        var extension = _extension;
        if (!(extension && Object.prototype.hasOwnProperty.bind(langHandlerRegistry)(extension))) {
            extension = /^\s*</.test(source) ? "default-markup" : "default-code";
        }
        return langHandlerRegistry[extension];
    };
    registerLangHandler(decorateSource, ["default-code"]);
    registerLangHandler(createSimpleLexer([], [
        [PR_PLAIN, /^[^<?]+/],
        [PR_DECLARATION, /^<!\w[^>]*(?:>|$)/],
        [PR_COMMENT, /^<!--[\s\S]*?(?:-->|$)/],
        ["lang-", /^<\?([\s\S]+?)(?:\?>|$)/],
        ["lang-", /^<%([\s\S]+?)(?:%>|$)/],
        [PR_PUNCTUATION, /^(?:<[%?]|[%?]>)/],
        ["lang-", /^<xmp\b[^>]*>([\s\S]+?)<\/xmp\b[^>]*>/i],
        ["lang-js", /^<script\b[^>]*>([\s\S]*?)(<\/script\b[^>]*>)/i],
        ["lang-css", /^<style\b[^>]*>([\s\S]*?)(<\/style\b[^>]*>)/i],
        ["lang-in.tag", /^(<\/?[a-z][^<>]*>)/i],
    ]), ["default-markup", "htm", "html", "mxml", "xhtml", "xml", "xsl"]);
    registerLangHandler(createSimpleLexer([
        [PR_PLAIN, /^[\s]+/, null, " \t\r\n"],
        [PR_ATTRIB_VALUE, /^(?:"[^"]*"?|'[^']*'?)/, null, "\"'"],
    ], [
        [PR_TAG, /^^<\/?[a-z](?:[\w.:-]*\w)?|\/?>$/i],
        [PR_ATTRIB_NAME, /^(?!style[\s=]|on)[a-z](?:[\w:-]*\w)?/i],
        ["lang-uq.val", /^=\s*([^>'"\s]*(?:[^>'"\s/]|\/(?=\s)))/],
        [PR_PUNCTUATION, /^[=<>/]+/],
        ["lang-js", /^on\w+\s*=\s*"([^"]+)"/i],
        ["lang-js", /^on\w+\s*=\s*'([^']+)'/i],
        ["lang-js", /^on\w+\s*=\s*([^"'>\s]+)/i],
        ["lang-css", /^style\s*=\s*"([^"]+)"/i],
        ["lang-css", /^style\s*=\s*'([^']+)'/i],
        ["lang-css", /^style\s*=\s*([^"'>\s]+)/i],
    ]), ["in.tag"]);
    registerLangHandler(createSimpleLexer([], [
        [PR_ATTRIB_VALUE, /^[\s\S]+/],
    ]), ["uq.val"]);
    registerLangHandler(sourceDecorator({
        keywords: CPP_KEYWORDS,
        hashComments: true,
        cStyleComments: true,
        types: C_TYPES
    }), ["c", "cc", "cpp", "cxx", "cyc", "m"]);
    registerLangHandler(sourceDecorator({
        keywords: "null,true,false"
    }), ["json"]);
    registerLangHandler(sourceDecorator({
        keywords: CSHARP_KEYWORDS,
        hashComments: true,
        cStyleComments: true,
        verbatimStrings: true,
        types: C_TYPES
    }), ["cs"]);
    registerLangHandler(sourceDecorator({
        keywords: JAVA_KEYWORDS,
        cStyleComments: true
    }), ["java"]);
    registerLangHandler(sourceDecorator({
        keywords: SH_KEYWORDS,
        hashComments: true,
        multiLineStrings: true
    }), ["bash", "bsh", "csh", "sh"]);
    registerLangHandler(sourceDecorator({
        keywords: PYTHON_KEYWORDS,
        hashComments: true,
        multiLineStrings: true,
        tripleQuotedStrings: true
    }), ["cv", "py", "python"]);
    registerLangHandler(sourceDecorator({
        keywords: PERL_KEYWORDS,
        hashComments: true,
        multiLineStrings: true,
        regexLiterals: 2
    }), ["perl", "pl", "pm"]);
    registerLangHandler(sourceDecorator({
        keywords: RUBY_KEYWORDS,
        hashComments: true,
        multiLineStrings: true,
        regexLiterals: true
    }), ["rb", "ruby"]);
    registerLangHandler(sourceDecorator({
        keywords: JSCRIPT_KEYWORDS,
        cStyleComments: true,
        regexLiterals: true
    }), ["javascript", "js", "ts", "typescript"]);
    registerLangHandler(sourceDecorator({
        keywords: COFFEE_KEYWORDS,
        hashComments: 3,
        cStyleComments: true,
        multilineStrings: true,
        tripleQuotedStrings: true,
        regexLiterals: true
    }), ["coffee"]);
    registerLangHandler(createSimpleLexer([], [
        [PR_STRING, /^[\s\S]+/],
    ]), ["regex"]);
    var applyDecorator = function (job) {
        var opt_langExtension = job.langExtension;
        try {
            var sourceAndSpans = extractSourceSpans(job.sourceNode, job.pre);
            var source = sourceAndSpans.sourceCode;
            job.sourceCode = source;
            job.spans = sourceAndSpans.spans;
            job.basePos = 0;
            langHandlerForExtension(opt_langExtension, source)(job);
            recombineTagsAndDecorations(job);
        }
        catch (e) {
            if (window.console) {
                console.log(e && e.stack || e);
            }
        }
    };
    var $prettyPrintOne = function (sourceCodeHtml, opt_langExtension, opt_numberLines) {
        var nl = opt_numberLines || false;
        var langExtension = opt_langExtension || null;
        var container = document.createElement("div");
        container.innerHTML = "<pre>".concat(sourceCodeHtml, "</pre>");
        container = container.firstChild;
        if (nl) {
            numberLines(container, nl, true);
        }
        var job = {
            langExtension: langExtension,
            numberLines: nl,
            sourceNode: container,
            pre: 1,
            sourceCode: null,
            basePos: null,
            spans: null,
            decorations: null
        };
        applyDecorator(job);
        return container.innerHTML;
    };
    var $prettyPrint = function (opt_whenDone, opt_root) {
        var root = opt_root || document.body;
        var doc = root.ownerDocument || document;
        var byTagName = function (tn) { return root.getElementsByTagName(tn); };
        var codeSegments = [byTagName("pre"), byTagName("code"), byTagName("xmp")];
        var elements = [];
        for (var i = 0; i < codeSegments.length; ++i) {
            for (var j = 0, n = codeSegments[i].length; j < n; ++j) {
                elements.push(codeSegments[i][j]);
            }
        }
        codeSegments = null;
        var clock = Date;
        if (!clock.now) {
            clock = {
                now: function () { return +new Date(); }
            };
        }
        var k = 0;
        var langExtensionRe = /\blang(?:uage)?-([\w.]+)(?!\S)/;
        var prettyPrintRe = /\bprettyprint\b/;
        var prettyPrintedRe = /\bprettyprinted\b/;
        var preformattedTagNameRe = /pre|xmp/i;
        var codeRe = /^code$/i;
        var preCodeXmpRe = /^(?:pre|code|xmp)$/i;
        var doWork = function () {
            var endTime = window.PR_SHOULD_USE_CONTINUATION ? clock.now() + 250 : Infinity;
            var _loop_1 = function () {
                var cs = elements[k];
                var attrs = {};
                var preceder = cs;
                while (Number.MAX_SAFE_INTEGER > Number.MIN_SAFE_INTEGER) {
                    var nt = preceder.nodeType;
                    var value = (nt === 7 || nt === 8) && preceder.nodeValue;
                    if (value ? !/^\??prettify\b/.test(value) : nt !== 3 || /\S/.test(preceder.nodeValue)) {
                        break;
                    }
                    if (value) {
                        value.replace(/\b(\w+)=([\w:.%+-]+)/g, function (_, name, value) {
                            attrs[name] = value;
                        });
                        break;
                    }
                    preceder = preceder.previousSibling;
                }
                var className = cs.className;
                if ((Object.keys(attrs).length > 0 || prettyPrintRe.test(className)) && !prettyPrintedRe.test(className)) {
                    var nested = false;
                    for (var p = cs.parentNode; p; p = p.parentNode) {
                        var tn = p.tagName;
                        if (preCodeXmpRe.test(tn) && p.className && prettyPrintRe.test(p.className)) {
                            nested = true;
                            break;
                        }
                    }
                    if (!nested) {
                        cs.classList.add("prettyprinted");
                        var langExtension = attrs.lang;
                        if (!langExtension) {
                            langExtension = className.match(langExtensionRe);
                            var wrapper = void 0;
                            if (!langExtension && (wrapper = childContentWrapper(cs)) && codeRe.test(wrapper.tagName)) {
                                langExtension = wrapper.className.match(langExtensionRe);
                            }
                            if (langExtension) {
                                langExtension = langExtension[1];
                            }
                        }
                        var preformatted = void 0;
                        if (preformattedTagNameRe.test(cs.tagName)) {
                            preformatted = 1;
                        }
                        else {
                            var currentStyle = cs.currentStyle;
                            var defaultView = doc.defaultView;
                            var whitespace = currentStyle ? currentStyle.whiteSpace : defaultView && defaultView.getComputedStyle ? defaultView.getComputedStyle(cs, null).getPropertyValue("white-space") : 0;
                            preformatted = whitespace && "pre" === whitespace.substring(0, 3);
                        }
                        var lineNums = attrs.linenums;
                        if (!(lineNums = lineNums === "true" || +lineNums)) {
                            lineNums = className.match(/\blinenums\b(?::(\d+))?/);
                            lineNums = lineNums ? lineNums[1] && lineNums[1].length ? +lineNums[1] : true : false;
                        }
                        if (lineNums) {
                            numberLines(cs, lineNums, preformatted);
                        }
                        var prettyPrintingJob = {
                            langExtension: langExtension,
                            sourceNode: cs,
                            numberLines: lineNums,
                            pre: preformatted,
                            sourceCode: null,
                            basePos: null,
                            spans: null,
                            decorations: null
                        };
                        applyDecorator(prettyPrintingJob);
                    }
                }
            };
            for (; k < elements.length && clock.now() < endTime; k++) {
                _loop_1();
            }
            if (k < elements.length) {
                window.setTimeout(doWork, 250);
            }
            else if ("function" === typeof opt_whenDone) {
                opt_whenDone();
            }
        };
        doWork();
    };
    window.PR = {
        createSimpleLexer: createSimpleLexer,
        registerLangHandler: registerLangHandler,
        sourceDecorator: sourceDecorator,
        PR_ATTRIB_NAME: PR_ATTRIB_NAME,
        PR_ATTRIB_VALUE: PR_ATTRIB_VALUE,
        PR_COMMENT: PR_COMMENT,
        PR_DECLARATION: PR_DECLARATION,
        PR_KEYWORD: PR_KEYWORD,
        PR_LITERAL: PR_LITERAL,
        PR_NOCODE: PR_NOCODE,
        PR_PLAIN: PR_PLAIN,
        PR_PUNCTUATION: PR_PUNCTUATION,
        PR_SOURCE: PR_SOURCE,
        PR_STRING: PR_STRING,
        PR_TAG: PR_TAG,
        PR_TYPE: PR_TYPE,
        prettyPrintOne: window.prettyPrintOne = $prettyPrintOne,
        prettyPrint: window.prettyPrint = $prettyPrint
    };
    registerLangHandler(createSimpleLexer([
        [PR_PLAIN, /^[ \t\r\n\f]+/, null, " \t\r\n\f"],
    ], [
        [PR_STRING, /^"(?:[^\n\r\f"\\]|\\(?:\r\n?|\n|\f)|\\[\s\S])*"/, null],
        [PR_STRING, /^'(?:[^\n\r\f'\\]|\\(?:\r\n?|\n|\f)|\\[\s\S])*'/, null],
        ["lang-css-str", /^url\(([^)"']+)\)/i],
        [PR_KEYWORD, /^(?:url|rgb|!important|@import|@page|@media|@charset|inherit)(?=[^\-\w]|$)/i, null],
        ["lang-css-kw", /^(-?(?:[_a-z]|(?:\\[0-9a-f]+ ?))(?:[_a-z0-9-]|\\(?:\\[0-9a-f]+ ?))*)\s*:/i],
        [PR_COMMENT, /^\/\*[^*]*\*+(?:[^/*][^*]*\*+)*\//],
        [PR_COMMENT, /^(?:<!--|-->)/],
        [PR_LITERAL, /^(?:\d+|\d*\.\d+)(?:%|[a-z]+)?/i],
        [PR_LITERAL, /^#(?:[0-9a-f]{3}){1,2}\b/i],
        [PR_PLAIN, /^-?(?:[_a-z]|(?:\\[\da-f]+ ?))(?:[_a-z\d-]|\\(?:\\[\da-f]+ ?))*/i],
        [PR_PUNCTUATION, /^[^\s\w'"]+/],
    ]), ["css"]);
    registerLangHandler(createSimpleLexer([], [
        [PR_KEYWORD, /^-?(?:[_a-z]|(?:\\[\da-f]+ ?))(?:[_a-z\d-]|\\(?:\\[\da-f]+ ?))*/i],
    ]), ["css-kw"]);
    registerLangHandler(createSimpleLexer([], [
        [PR_STRING, /^[^)"']+/],
    ]), ["css-str"]);
    registerLangHandler(createSimpleLexer([
        [PR_PLAIN, /^[\t\n\r \xA0]+/, null, "\t\n\r \xA0"],
        [PR_STRING, /^(?:"(?:[^"\\]|\\[\s\S])*(?:"|$)|'(?:[^'\\]|\\[\s\S])*(?:'|$))/, null, '"\''],
    ], [
        [PR_COMMENT, /^--(?:\[(=*)\[[\s\S]*?(?:\]\1\]|$)|[^\r\n]*)/],
        [PR_STRING, /^\[(=*)\[[\s\S]*?(?:\]\1\]|$)/],
        [PR_KEYWORD, /^(?:and|break|do|else|elseif|end|false|for|function|if|in|local|nil|not|or|repeat|return|then|true|until|while)\b/, null],
        [PR_LITERAL,
            /^[+-]?(?:0x[\da-f]+|(?:(?:\.\d+|\d+(?:\.\d*)?)(?:e[+-]?\d+)?))/i,
        ],
        [PR_PLAIN, /^[a-z_]\w*/i],
        [PR_PUNCTUATION, /^[^\w\t\n\r \xA0][^\w\t\n\r \xA0"'\-+=]*/],
    ]), ["lua"]);
    registerLangHandler(createSimpleLexer([
        [PR_PLAIN, /^[\t\n\r \xA0]+/, null, "\t\n\r \xA0"],
        [PR_COMMENT, /^%[^\r\n]*/, null, "%"],
    ], [
        [PR_KEYWORD, /^\\[a-zA-Z@]+/],
        [PR_KEYWORD, /^\\./],
        [PR_TYPE, /^[$&]/],
        [PR_LITERAL, /[+-]?(?:\.\d+|\d+(?:\.\d*)?)(cm|em|ex|in|pc|pt|bp|mm)/i],
        [PR_PUNCTUATION, /^[{}()[\]=]+/],
    ]), ["latex", "tex"]);
    $prettyPrint();
}); 

/* </pre> */