MediaWiki

Difference between revisions of "Gadgets-definition"

(→‎RecordWizard generators: +dépendance à oojs-ui pour tenter de faire fonctionner hors mode debug (où ça fonctionne))
(+dépendance à ext.recordWizard.generator)
Line 6: Line 6:
  
 
== RecordWizard generators ==
 
== RecordWizard generators ==
* ExternalTools [ResourceLoader|default|dependencies=oojs-ui,mediawiki.util] | ExternalTools.js
+
* ExternalTools [ResourceLoader|default|dependencies=oojs-ui,mediawiki.util,ext.recordWizard.generator] | ExternalTools.js

Revision as of 14:12, 19 April 2021

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