MediaWiki:Gadgets-definition

• 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