MediaWiki

Gadgets-definition

Revision as of 13:41, 16 April 2021 by Seb35 (talk | contribs) (ré-ajout de ExternalTools désormais fonctionnel)

Patrolling

  • RecentNonAudio [ResourceLoader|dependencies=oojs-ui,mediawiki.api] | RecentNonAudio.js

Administrator tools

  • LinguaImporter [ResourceLoader|dependencies=oojs-ui,mediawiki.api|rights=delete] | LinguaImporter.js

RecordWizard generators

  • ExternalTools [ResourceLoader|default|dependencies=mediawiki.util] | ExternalTools.js