MediaWiki:Gadgets-definition

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

• Wikiplus[ResourceLoader|type=general|rights=edit|default|rights=edit|dependencies=mediawiki.util]|Wikiplus.js
• wikiplus-highlight[ResourceLoader|type=general|rights=edit|default|dependencies=mediawiki.util]|wikiplus-highlight.js