MediaWiki:Gadgets-definition

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