MediaWiki:Gadgets-definition
Révision datée du 8 février 2019 à 21:21 par Dieudo (discussion | contributions)
La version imprimable n’est plus prise en charge et peut comporter des erreurs de génération. Veuillez mettre à jour les signets de votre navigateur et utiliser à la place la fonction d’impression par défaut de celui-ci.
- Popups[ResourceLoader]|Popups.js
- OngletPurge[ResourceLoader|dependencies=mediawiki.util]|OngletPurge.js
- WikEd[ResourceLoader]|WikEd.js
- HotCatsMulti[ResourceLoader]|HotCatsMulti.js
- wikEd|wikEd.js