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