Jump to content

MediaWiki:Gadgets-definition

E Wikisource

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
  • purgetab[ResourceLoader|default|dependencies=mediawiki.util,mediawiki.api]|purgetab.js