MediaWiki:Gadgets-definition
Aus SchnuppTrupp
Version vom 13. Mai 2020, 00:54 Uhr von Bowserkor (Diskussion | Beiträge)
- Auto Complete[ResourceLoader]|autocomplete.js
- wikEd|wikEd.js
- stickyTableHeaders[ResourceLoader|type=styles|default]|StickyTableHeaders.css
- HotCat[ResourceLoader]|HotCat.js
- DotsSyntaxHighlighter[ResourceLoader]|DotsSyntaxHighlighter.js
- purgetab[ResourceLoader|dependencies=mediawiki.util]|purgetab.js