MediaWiki:Gadgets-definition: Difference between revisions
Jump to navigation
Jump to search
Content added Content deleted
No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
* HotCat[ResourceLoader|rights=edit|default]|HotCat.js |
* HotCat[ResourceLoader|rights=edit|default]|HotCat.js |
||
* Edittools[ResourceLoader|default|rights=edit]|Edittools.js |
* Edittools[ResourceLoader|default|rights=edit]|Edittools.js |
||
* DotsSyntaxHighlighter[ResourceLoader|default| |
* DotsSyntaxHighlighter[ResourceLoader|default|dependencies=jquery.client]|DotsSyntaxHighlighter.js |
||
* wikEd[ResourceLoader|rights=edit]|wikEd.js |
* 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