MediaWiki:Gadgets-definition

E Wikisource
Jump to navigation Jump to search

Editing tools

  • matchsplit[ResourceLoader]|matchsplit.js
  • CropTool[ResourceLoader|dependencies=mediawiki.util]|CropTool.js
  • pulsanti-FI[ResourceLoader|dependencies=ext.wikiEditor|default]|pulsanti-FI.js
  • diacritici[ResourceLoader|dependencies=ext.wikiEditor]|diacritici.js
  • ipt[ResourceLoader|default|type=general]|ipt.js