MediaWiki
Difference between revisions of "Gadgets-definition"
(ré-ajout de ExternalTools désormais fonctionnel) |
m |
||
| (8 intermediate revisions by 2 users not shown) | |||
| Line 1: | Line 1: | ||
== Patrolling == | == Patrolling == | ||
| − | * RecentNonAudio [ResourceLoader|dependencies=oojs-ui,mediawiki.api] | RecentNonAudio.js | + | * RecentNonAudio [ResourceLoader|dependencies=oojs-ui,mediawiki.api,mediawiki.util] | RecentNonAudio.js |
== 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 | ||
| − | |||
| − | |||
| − | |||
Latest revision as of 20:14, 2 June 2022
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