[14:49:41] <wm-bb>	 [telegram] <Yetkin> I suppose we need to create the page MediaWiki:Gadget-charinsert-core.js Thanks for your help (re @amire80: I'm on the phone now, but maybe you're talking about MediaWiki:Edittools , which can be edited by administrators. Does this help?)