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
• HotCat[ResourceLoader|dependencies=mediawiki.user|rights=upload|default]|HotCat.js|Hotcatcheck.js