MediaWiki

Difference between revisions of "Gadgets-definition"

(+dépendances pour ExternalTools)
m
 
(4 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,mediawiki.widgets,ext.recordWizard.store] | 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