MediaWiki:Gadget-DotsSyntaxHighlighter.js

注意：这类代码页面在保存之后，您可能需要清除浏览器缓存才能看到所作出的变更的影响。

按住CTRL+SHIFT+DEL 或 ⌘-Shift-R来清除缓存！
或尝试在地址栏的地址最后添加代码?_=1来访问最新页面。
添加代码后的本页地址如下：-{R|https://hmoegirl.com/MediaWiki:Gadget-DotsSyntaxHighlighter.js?_=1}-
你还可以在设置中勾选小工具在页面右上角添加清除缓存按钮！

if([ 'edit','submit'].indexOf(mw.config.get('wgAction')) !== -1 && mw.config.get("wgPageContentModel") === 'wikitext') {
	mw.loader.load('/index.php?title=User:Irukaza/tools/codemirror.js&action=raw&ctype=text/javascript');
	mw.loader.load('/index.php?title=User:Irukaza/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('/index.php?title=User:Irukaza/tools/wikihighlight.js&action=raw&ctype=text/javascript');
	mw.loader.load('/index.php?title=User:Irukaza/tools/wikihighlight.css&action=raw&ctype=text/css', 'text/css');
}