Gadgets-definition

• charinsert[ResourceLoader]|charinsert.js
• charinsert-core[ResourceLoader|hidden|rights=hidden|dependencies=mediawiki.action.edit,jquery.textSelection]|charinsert-core.js|charinsert-core.css
• intersection[ResourceLoader]|intersection.js