MediaWiki

Gadgets-definition

Revision as of 14:12, 19 April 2021 by Seb35 (talk | contribs) (+dépendance à ext.recordWizard.generator)

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] | ExternalTools.js