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

• JSX[ResourceLoader|hidden|requiresES6]|JSX.js
• Util[ResourceLoader|dependencies=ext.gadget.JSX,jquery.textSelection,mediawiki.storage|hidden|requiresES6]|Util.js