Difference between revisions of "MediaWiki:Gadgets-definition"
Jump to navigation
Jump to search
| Line 2: | Line 2: | ||
* Edittools[ResourceLoader]|Edittools.js | * Edittools[ResourceLoader]|Edittools.js | ||
* HotCat[ResourceLoader|default]|HotCat.js | * HotCat[ResourceLoader|default]|HotCat.js | ||
| + | * DotsSyntaxHighlighter[ResourceLoader|dependencies=jquery.client]|DotsSyntaxHighlighter.js | ||
Revision as of 00:58, 24 November 2016
editing-gadgets
- Edittools[ResourceLoader]|Edittools.js
- HotCat[ResourceLoader|default]|HotCat.js
- DotsSyntaxHighlighter[ResourceLoader|dependencies=jquery.client]|DotsSyntaxHighlighter.js