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

2020年8月17日 (一) 10:47的版本

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

(function($, mw) {
    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) {
        $.ajax({
            url: '/zh?title=user:bhsd/code-prettify.js&action=raw&ctype=text/javascript',
            dataType: 'script',
            cache: true,
            success: function() {
                prettyPrint();
            }
        });
    }
})(jQuery, mediaWiki);