MediaWiki

Difference between revisions of "Gadgets-definition"

(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)
m
 
(3 intermediate revisions by the same user not shown)

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