MediaWiki:Gadgets-definition
Révision datée du 19 décembre 2015 à 17:11 par Dieudo (discussion | contributions)
- Popups[ResourceLoader]|Popups.js
- OngletPurge[ResourceLoader|dependencies=mediawiki.util]|OngletPurge.js
- WikEd[ResourceLoader]|WikEd.js
- HotCatsMulti[ResourceLoader]|HotCatsMulti.js