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

2020年11月20日 (五) 08:07的版本

// 由ResourceLoader直接调用，不可使用ES6语法
/* 引自[[moegirl:mediawiki:gadget-code-prettify.js]] */
"use strict";
mw.hook( 'wikipage.content' ).add(function($content) {
    const acceptLangs = {
        js: "javascript",
        javascript: "javascript",
        json: "json",
        css: "css",
        scribunto: "lua",
        lua: "lua",
        html: "html"
    },
        contentModel = mw.config.get( "wgPageContentModel" ).toLowerCase(),
        script = mw.config.get( "wgScript" );
    if (contentModel in acceptLangs) {
        $content.find( '.mw-code' ).addClass( 'hljs linenums ' + acceptLangs[contentModel] );
    }
    $content.find('pre[lang], code[lang]').addClass(function() {
        const self = $(this),
            lang = self.attr( "lang" ).toLowerCase();
        if (lang in acceptLangs) {
            return "hljs " + acceptLangs[lang] + (self.is('pre') ? " linenums" : "");
        }
        else { return ""; }
    });
    if ($content.find( '.hljs' ).length) {
        mw.loader.load( script + '?title=mediawiki:gadget-code-prettify-core.js&action=raw&ctype=text/javascript' );
    }
});
// [[category:小工具加载器]] [[category:作为模块的小工具]] [[category:阅读工具]] [[category:默认开启的小工具]] [[category:桌面版小工具]] [[category:手机版小工具]]
// {{DEFAULTSORT:code-prettify.js}}