MediaWiki:Gadgets-definition
editing-tools
Attivi di default:
- Edittools[ResourceLoader|default]|Edittools.js
Strumienti:
- GoogleOCR[ResourceLoader]|GoogleOCR.js
- preload-prp-page-image[ResourceLoader]|preload-prp-page-image.js
- autoPt[ResourceLoader|default|dependencies=mediawiki.util,mediawiki.api,ext.wikiEditor]|autoPt.js
- robot[ResourceLoader]|robot.js
- eis[ResourceLoader|dependencies=ext.wikiEditor,jquery.ui,mediawiki.util]|eis.js
Altri:
- HotCat[ResourceLoader]|HotCat.js
interface-tools
Attivi di default:
- purgetab[ResourceLoader|default|dependencies=mediawiki.util,mediawiki.api]|purgetab.js
Altri:
- stile-itsource[ResourceLoader]|stile-itsource.css