MediaWiki
Difference between revisions of "Gadgets-definition"
(+dépendance à ext.recordWizard.generator) |
(+dépendances pour ExternalTools) |
||
Line 6: | Line 6: | ||
== RecordWizard generators == | == RecordWizard generators == | ||
− | * ExternalTools [ResourceLoader|default|dependencies=oojs-ui,mediawiki.util,ext.recordWizard.generator] | ExternalTools.js | + | * ExternalTools [ResourceLoader|default|dependencies=oojs-ui,mediawiki.util,ext.recordWizard.generator,mediawiki.widgets,ext.recordWizard.store] | ExternalTools.js |
Revision as of 17:14, 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,mediawiki.widgets,ext.recordWizard.store] | ExternalTools.js