MediaWiki

Gadgets-definition

Revision as of 17:59, 19 April 2021 by Seb35 (talk | contribs) (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)

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