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

2020年11月4日 (三) 05:33的版本

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

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