MediaWiki:Gadgets-definition

  • Edittools[ResourceLoader|default]|Edittools.js
  • charinsert[ResourceLoader|default]|charinsert.js
  • charinsert-core[ResourceLoader|hidden|rights=hidden|dependencies=mediawiki.toolbar,jquery.textSelection,user]|charinsert-core.js|charinsert-core.css