MediaWiki:Gadget-wikieditor-highlight.js
跳到导航
跳到搜索
注意：这类代码页面在保存之后，您可能需要清除浏览器缓存才能看到所作出的变更的影响。
- 按住
CTRL+SHIFT+DEL 或 ⌘-Shift-R来清除缓存！ - 或尝试在地址栏的地址最后添加代码
?_=1来访问最新页面。 - 你还可以在设置中勾选小工具在页面右上角添加清除缓存按钮！
if([ 'edit','submit'].indexOf(mw.config.get('wgAction')) !== -1 && mw.config.get("wgPageContentModel") === 'wikitext') {
mw.loader.load('//cdn.jsdelivr.net/npm/[email protected]/lib/codemirror.min.js');
mw.loader.load('/index.php?title=User:=海豚=/tools/codemirror.css&action=raw&ctype=text/css', 'text/css');
setTimeout(checkVariable, 100);
}
function checkVariable() {
if(typeof CodeMirror === 'undefined') {
setTimeout(checkVariable, 100);
return;
}
mw.loader.load('//cdn.jsdelivr.net/gh/bhsd-harry/[email protected]/otherwiki/mediawiki.min.js');
mw.loader.load('/index.php?title=User:=海豚=/tools/wikihighlight.css&action=raw&ctype=text/css', 'text/css');
}