MediaWiki:Edittools.js
mw.log.warn( 'w:en:MediaWiki:Edittools.js should not be loaded anymore. Please load w:en:MediaWiki:Gadget-charinsert-core.js directly.' ); mw.loader.load( '//en.wikipedia.org/w/index.php?title=MediaWiki:Gadget-charinsert-core.js&action=raw&ctype=text/javascript' );