MediaWiki:Edittools.js
Note: After saving, you have to bypass your browser's cache to see the changes. Google Chrome, Firefox, Microsoft Edge and Safari: Hold down the ⇧ Shift key and click the Reload toolbar button. For details and instructions about other browsers, see Wikipedia:Bypass your cache.
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' );