MediaWiki:Gadgets-definition: Difference between revisions
Jump to navigation
Jump to search
Content added Content deleted
No edit summary |
No edit summary |
||
Line 1:
* HotCat[ResourceLoader|rights=edit|default]|HotCat.js
* Edittools[ResourceLoader|default|rights=edit]|Edittools.js
* DotsSyntaxHighlighter[ResourceLoader|default|
* wikEd[ResourceLoader|rights=edit]|wikEd.js
|
Revision as of 19:06, 11 November 2017
- HotCat[ResourceLoader|rights=edit|default]|HotCat.js
- Edittools[ResourceLoader|default|rights=edit]|Edittools.js
- DotsSyntaxHighlighter[ResourceLoader|default|dependencies=jquery.client]|DotsSyntaxHighlighter.js
- wikEd[ResourceLoader|rights=edit]|wikEd.js