if (window.addButton) { window.addButton = function() {}; mw.loader.load('/wiki/MediaWiki:Edittools.js?action=raw&ctype=text/javascript'); mw.loader.load('/wiki/MediaWiki:Edittool-default.js?action=raw&ctype=text/javascript'); }