MediaWiki
Gadgets-definition
Revision as of 14:08, 19 April 2021 by Seb35 (talk | contribs) (→RecordWizard generators: +dépendance à oojs-ui pour tenter de faire fonctionner hors mode debug (où ça fonctionne))
Revision as of 14:08, 19 April 2021 by Seb35 (talk | contribs) (→RecordWizard generators: +dépendance à oojs-ui pour tenter de faire fonctionner hors mode debug (où ça fonctionne))
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