MediaWiki
Difference between revisions of "Gadgets-definition"
(ré-ajout de ExternalTools désormais fonctionnel) |
|||
| 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 | ||
| + | |||
| + | == RecordWizard generators == | ||
| + | * ExternalTools [ResourceLoader|default|dependencies=mediawiki.util] | ExternalTools.js | ||
Revision as of 13:41, 16 April 2021
Patrolling
- RecentNonAudio [ResourceLoader|dependencies=oojs-ui,mediawiki.api] | RecentNonAudio.js
Administrator tools
- LinguaImporter [ResourceLoader|dependencies=oojs-ui,mediawiki.api|rights=delete] | LinguaImporter.js
RecordWizard generators
- ExternalTools [ResourceLoader|default|dependencies=mediawiki.util] | ExternalTools.js