MediaWiki:Gadgets-definition
- Edittools[ResourceLoader|default]|Edittools.js
- charinsert[ResourceLoader|default]|charinsert.js
- charinsert-core[ResourceLoader|hidden|rights=hidden|dependencies=mediawiki.toolbar,jquery.textSelection,user]|charinsert-core.js|charinsert-core.css