MediaWiki:Gadgets-definition: Unterschied zwischen den Versionen

Aktuelle Version vom 3. Dezember 2022, 13:20 Uhr

Version vom 3. Dezember 2022, 13:15 Uhr (Quelltext anzeigen) Snotty (Diskussion \| Beiträge) ← Zum vorherigen Versionsunterschied		Aktuelle Version vom 3. Dezember 2022, 13:20 Uhr (Quelltext anzeigen) Snotty (Diskussion \| Beiträge)
Zeile 1:		Zeile 1:
		+	* Navigation_popups[ResourceLoader\|type=general]\|popups.js\|navpop.css
	* HotCat[ResourceLoader]\|HotCat.js		* HotCat[ResourceLoader]\|HotCat.js