MediaWiki:Gadgets-definition: Difference between revisions
Jump to navigation
Jump to search
Content added Content deleted
No edit summary |
No edit summary |
||
Line 3: | Line 3: | ||
* DotsSyntaxHighlighter[ResourceLoader|default|dependencies=jquery.client]|DotsSyntaxHighlighter.js |
* DotsSyntaxHighlighter[ResourceLoader|default|dependencies=jquery.client]|DotsSyntaxHighlighter.js |
||
* wikEd[ResourceLoader|rights=edit]|wikEd.js |
* wikEd[ResourceLoader|rights=edit]|wikEd.js |
||
* Cat-a-lot[ResourceLoader|rights=edit|dependencies=mediawiki.util]|Cat-a-lot.js |
Revision as of 16:22, 4 January 2019
- 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
- Cat-a-lot[ResourceLoader|rights=edit|dependencies=mediawiki.util]|Cat-a-lot.js