|
|
|
// 由ResourceLoader直接调用，不可使用ES6语法
/**
* @Function: 高亮JavaScript、CSS、HTML和Lua，按行号跳转，并添加行号和指示色块
* @Dependencies: mediawiki.Uri, ext.gadget.site-lib
* @Source: [[moegirl:mediawiki:gadget-code-prettify.js]]和[[moegirl:user:机智的小鱼君/gadget/Highlight.js]]
* @EditedBy: [[User:Bhsd]]
|