Difference between revisions of "MediaWiki:Gadgets-definition"
Jump to navigation
Jump to search
(One intermediate revision by the same user not shown) | |
(No difference)
|
Latest revision as of 17:43, 6 July 2022
- DotsSyntaxHighlighter[ResourceLoader|default]|DotsSyntaxHighlighter.js
- HotCat[ResourceLoader|rights=upload|default]|HotCat.js
- purgetab[ResourceLoader|dependencies=mediawiki.util|default]|purgetab.js