« MediaWiki:Gadgets-definition » : différence entre les versions
mAucun résumé des modifications |
(Aucune différence)
|
Version du 26 avril 2016 à 14:40
- DotsSyntaxHighlighter[ResourceLoader]|DotsSyntaxHighlighter.js
- Edittools[ResourceLoader|default]|Edittools.js
- HotCat[ResourceLoader]|HotCat.js
- tooltipRef[ResourceLoader|default|dependencies=user]|tooltipRef.js|tooltipRef.css