MediaWiki:Gadget-Edittools-user.js

注意：保存之后，你必须清除浏览器缓存才能看到做出的更改。Google Chrome、Firefox、Microsoft Edge及Safari：按住⇧ Shift键并单击工具栏的“刷新”按钮。参阅Help:绕过浏览器缓存以获取更多帮助。

if (window.addButton) {
    window.addButton = function() {};
    mw.loader.load('/wiki/MediaWiki:Edittools.js');
    mw.loader.load('/wiki/User:' + mw.config.get('wgUserName') + '/customEdittools.js?action=raw&ctype=text/javascript');
}