MediaWiki:Gadgets-definition

Aus VGKB
Version vom 7. Dezember 2019, 09:46 Uhr von Viktor (Diskussion | Beiträge) (created)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Zur Navigation springen Zur Suche springen

editing-gadgets

  • HotCat[ResourceLoader]|HotCat.js