MediaWiki

Difference between revisions of "Gadgets-definition"

(→‎RecordWizard generators: +dépendance à oojs-ui pour tenter de faire fonctionner hors mode debug (où ça fonctionne))
m
 
(6 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] | 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