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|dependencies=ext.gadget.libCachedCode]|Wikiplus.js