MediaWiki:Gadgets-definition: Difference between revisions
Jump to navigation
Jump to search
mNo edit summary |
mNo edit summary |
||
| Line 2: | Line 2: | ||
* exlinks[ResourceLoader|dependencies=mediawiki.util]|exlinks.js | * exlinks[ResourceLoader|dependencies=mediawiki.util]|exlinks.js | ||
* DotsSyntaxHighlighter[ResourceLoader]|DotsSyntaxHighlighter.js | * DotsSyntaxHighlighter[ResourceLoader]|DotsSyntaxHighlighter.js | ||
* HotCat[ResourceLoader|rights=edit,purge]|HotCat.js | |||
Revision as of 22:29, 16 January 2022
- ReferenceTooltips[ResourceLoader|default|type=general|dependencies=mediawiki.cookie,jquery.client]|ReferenceTooltips.js|ReferenceTooltips.css
- exlinks[ResourceLoader|dependencies=mediawiki.util]|exlinks.js
- DotsSyntaxHighlighter[ResourceLoader]|DotsSyntaxHighlighter.js
- HotCat[ResourceLoader|rights=edit,purge]|HotCat.js