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

2020年8月24日 (一) 13:14的版本

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

(function($, mw) {
    mw.hook('wikipage.content').add( function($content) {
        if (mw.config.get('wgPageName').match(/\.js$/)) $content.find('.mw-code').addClass('prettyprint linenums lang-js');
        if (mw.config.get('wgPageName').match(/\.css$/)) $content.find('.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) {
            $content.find('.mw-code').addClass('prettyprint linenums lang-' + acceptsLangs[wgPageContentModel]);
        }
        $content.find('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 ($content.find('.prettyprint').length > 0) {
            $.ajax({
                url: '/zh?title=user:bhsd/code-prettify.js&action=raw&ctype=text/javascript',
                dataType: 'script',
                cache: true,
                success: function() {
                    prettyPrint();
                    window.prettyPrint = true;
                }
            });
        }
    });
})(jQuery, mediaWiki);