MediaWiki:Gadgets-definition

Aus SchnuppTrupp

Version vom 18. November 2023, 22:39 Uhr von Bowserkor (Diskussion | Beiträge)

(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)

Wechseln zu: Navigation, Suche

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
Darkmode|Gadget-Blackskin.css

Von „http://www.schnupptrupp.org/w/index.php?title=MediaWiki:Gadgets-definition&oldid=191013“