“MediaWiki:Gadget-code-prettify.js”的版本间差异

2020年8月9日 (日) 11:21的版本

/* 引自[[moegirl:mediawiki:gadget-code-prettify.js]] */

$(function() {
    if (mw.config.get('wgPageName').match(/\.js$/)) $('.mw-code').addClass('prettyprint linenums lang-js');
    if (mw.config.get('wgPageName').match(/\.css$/)) $('.mw-code').addClass('prettyprint linenums lang-css');
    var acceptsLangs = {
        "js": "js",
        "javascript": "js",
        "css": "css",
        "html": "html",
        "scribunto": "lua",
        "lua": "lua"
    };
    var wgPageContentModel = mw.config.get("wgPageContentModel", "").toLowerCase();
    if (wgPageContentModel in acceptsLangs) {
        $('.mw-code').addClass('prettyprint linenums lang-' + acceptsLangs[wgPageContentModel]);
    }
    $('pre[lang]').each(function() {
        var self = $(this);
        var lang = self.attr("lang").toLowerCase();
        if (lang in acceptsLangs) {
            self.addClass("prettyprint linenums lang-" + acceptsLangs[lang]);
        }
    });
    if ($('.prettyprint').length > 0) {
        mw.loader.load( '/zh?title=user:bhsd/code-prettify.js&action=raw&ctype=text/javascript' );
        $(function() {
        	prettyPrint();
    	})();
    }
})();