MediaWiki:Gadgets-definition

1. Cette page sert à définir les gadgets utilisés dans Spécial:Gadgets
2. Avant de la modifier, assurez-vous d'avoir compris son fonctionnement décrit sur mw:Extension:Gadgets#Usage
3. Ne changez pas le nom d'un gadget existant (il serait alors désactivé pour tous)
4. Si un gadget ne fonctionne pas, on peut le délister en remplaçant * par #

• WikEd[ResourceLoader|dependencies=jquery.textSelection]|WikEd.js
• SpecialChars[ResourceLoader]|specialchars.js

1. Edittools[ResourceLoader|default]|Edittools.js

• mediawiki.toolbar [ResourceLoader|dependencies=jquery.textSelection|hidden] | mediawiki.toolbar.js
• HotCatsMulti[ResourceLoader|dependencies=site,user]|HotCatsMulti.js