MediaWiki:Gadgets-definition

De dieudo.fr
Aller à la navigation Aller à la recherche

Pages

  • Popups[ResourceLoader]|Popups.js

Onglets supplémentaires en haut de page

  • OngletPurge[ResourceLoader|dependencies=mediawiki.util]|OngletPurge.js

Zone d'édition

  • WikEd[ResourceLoader]|WikEd.js

Ajout / modification / retrait rapide

  • HotCatsMulti[ResourceLoader]|HotCatsMulti.js