MediaWiki
Difference between revisions of "Gadgets-definition"
(+dépendances pour ExternalTools) |
(retrait de ExternalTools en tant que gadget, ajouté dans l’extension RecordWizard - il semble qu’il est chargé trop tard en tant que gadget et que cela empêche l’ouverture de la boîte de dialogue) |
||
| 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 | ||
| − | |||
| − | |||
| − | |||
Revision as of 17:59, 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