MediaWiki:Gadgets-definition

• Edittools[ResourceLoader|default]|Edittools.js
• charinsert[ResourceLoader|default|peers=charinsert-styles]|charinsert.js
• charinsert-core[ResourceLoader|hidden|dependencies=jquery.textSelection,user,mediawiki.storage]|charinsert-core.js
• charinsert-styles[ResourceLoader|hidden|type=styles]|charinsert-styles.css