MediaWiki

Gadgets-definition

Revision as of 17:14, 19 April 2021 by Seb35 (talk | contribs) (+dépendances pour ExternalTools)

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=oojs-ui,mediawiki.util,ext.recordWizard.generator,mediawiki.widgets,ext.recordWizard.store] | ExternalTools.js