« Gadgets-definition » : différence entre les versions
De Wikimanche
Aucun résumé des modifications |
(désactivation Wiked et Edittools) |
||
| Ligne 5 : | Ligne 5 : | ||
<!--rem-- == Modification == --rem--> | <!--rem-- == Modification == --rem--> | ||
<!--rem-- ==== Editeur ==== --rem--> | <!--rem-- ==== Editeur ==== --rem--> | ||
# WikEd[ResourceLoader|dependencies=jquery.textSelection]|WikEd.js | |||
<!--rem-- ==== Caracteres ==== --rem--> | <!--rem-- ==== Caracteres ==== --rem--> | ||
* SpecialChars[ResourceLoader]|specialchars.js | * SpecialChars[ResourceLoader]|specialchars.js | ||
<!--rem-- ==== AjoutRapide ==== --rem--> | <!--rem-- ==== AjoutRapide ==== --rem--> | ||
# Edittools[ResourceLoader|default]|Edittools.js | |||
* mediawiki.toolbar [ResourceLoader|dependencies=jquery.textSelection|hidden] | mediawiki.toolbar.js | * mediawiki.toolbar [ResourceLoader|dependencies=jquery.textSelection|hidden] | mediawiki.toolbar.js | ||
* HotCatsMulti[ResourceLoader|dependencies=site,user]|HotCatsMulti.js | * HotCatsMulti[ResourceLoader|dependencies=site,user]|HotCatsMulti.js | ||
Version du 8 avril 2020 à 20:45
- Cette page sert à définir les gadgets utilisés dans Spécial:Gadgets
- Avant de la modifier, assurez-vous d'avoir compris son fonctionnement décrit sur mw:Extension:Gadgets#Usage
- Ne changez pas le nom d'un gadget existant (il serait alors désactivé pour tous)
- 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
- Edittools[ResourceLoader|default]|Edittools.js
- mediawiki.toolbar [ResourceLoader|dependencies=jquery.textSelection|hidden] | mediawiki.toolbar.js
- HotCatsMulti[ResourceLoader|dependencies=site,user]|HotCatsMulti.js