MediaWiki:Edittools.js

mw.loader.load('//en.wikipedia.org/w/index.php?title=MediaWiki:Gadget-charinsert.js&action=raw&ctype=text/javascript');