MediaWiki:Gadgets-definition

Révision datée du 8 février 2019 à 20:21 par Dieudo (discussion | contributions)
(diff) ← Version précédente | Voir la version actuelle (diff) | Version suivante → (diff)
  • Popups[ResourceLoader]|Popups.js
  • OngletPurge[ResourceLoader|dependencies=mediawiki.util]|OngletPurge.js
  • WikEd[ResourceLoader]|WikEd.js
  • HotCatsMulti[ResourceLoader]|HotCatsMulti.js
  • wikEd|wikEd.js