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: | ||
⚫ | |||
⚫ | |||
* Edittools[ResourceLoader|default|rights=edit]|Edittools.js |
* Edittools[ResourceLoader|default|rights=edit]|Edittools.js |
||
* 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 |
Revision as of 20:40, 27 January 2020
- Edittools[ResourceLoader|default|rights=edit]|Edittools.js
- DotsSyntaxHighlighter[ResourceLoader|default|dependencies=jquery.client]|DotsSyntaxHighlighter.js
- HotCat[ResourceLoader|rights=edit|default]|HotCat.js
- Cat-a-lot[ResourceLoader|rights=edit|dependencies=mediawiki.util]|Cat-a-lot.js
- wikEd[ResourceLoader|rights=edit]|wikEd.js