MediaWiki
Difference between revisions of "Gadgets-definition"
(+dépendance mw.util) |
(→RecordWizard generators: +dépendance à oojs-ui pour tenter de faire fonctionner hors mode debug (où ça fonctionne)) |
||
| Line 6: | Line 6: | ||
== RecordWizard generators == | == RecordWizard generators == | ||
| − | * ExternalTools [ResourceLoader|default|dependencies=mediawiki.util] | ExternalTools.js | + | * ExternalTools [ResourceLoader|default|dependencies=oojs-ui,mediawiki.util] | ExternalTools.js |
Revision as of 14:08, 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] | ExternalTools.js