MediaWiki:Gadgets-definition

Aus SchnuppTrupp
Version vom 8. Dezember 2023, 01:27 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|Blackskin.css
  • Darkmode Test[RessourceLoader|type=styles]|Darkmode.css