MediaWiki

Difference between revisions of "Gadgets-definition"

(+dépendance à ext.recordWizard.generator)
m
 
(5 intermediate revisions by 2 users not shown)
Line 4: Line 4:
 
== Administrator tools ==
 
== Administrator tools ==
 
* LinguaImporter [ResourceLoader|dependencies=oojs-ui,mediawiki.api|rights=delete] | LinguaImporter.js
 
* 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
 

Latest revision as of 20:14, 2 June 2022

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