« MediaWiki:Gadgets-definition » : différence entre les versions
mAucun résumé des modifications |
mAucun résumé des modifications |
||
Ligne 2 : | Ligne 2 : | ||
* Edittools[ResourceLoader|default]|Edittools.js | * Edittools[ResourceLoader|default]|Edittools.js | ||
* HotCat[ResourceLoader]|HotCat.js | * HotCat[ResourceLoader]|HotCat.js | ||
* tooltipRef[ResourceLoader | * tooltipRef[ResourceLoader|dependencies=user]|tooltipRef.js|tooltipRef.css |
Version du 14 juillet 2021 à 15:47
- DotsSyntaxHighlighter[ResourceLoader]|DotsSyntaxHighlighter.js
- Edittools[ResourceLoader|default]|Edittools.js
- HotCat[ResourceLoader]|HotCat.js
- tooltipRef[ResourceLoader|dependencies=user]|tooltipRef.js|tooltipRef.css