Difference between revisions of "MediaWiki:Gadgets-definition"
Jump to navigation
Jump to search
| Line 1: | Line 1: | ||
== editing-gadgets == | == editing-gadgets == | ||
* Edittools[ResourceLoader|default]|Edittools.js | * Edittools[ResourceLoader|default]|Edittools.js | ||
| − | * HotCat[ResourceLoader]|HotCat.js | + | * HotCat[ResourceLoader|default]|HotCat.js |
Revision as of 12:44, 11 October 2016
editing-gadgets
- Edittools[ResourceLoader|default]|Edittools.js
- HotCat[ResourceLoader|default]|HotCat.js