MediaWiki

Gadgets-definition

Revision as of 14:39, 16 April 2021 by Seb35 (talk | contribs) (+dépendance mw.util)

Patrolling

  • RecentNonAudio [ResourceLoader|dependencies=oojs-ui,mediawiki.api,mediawiki.util] | 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