MediaWiki:Gadgets-definition: Unterschied zwischen den Versionen

Version vom 3. Dezember 2022, 13:15 Uhr

Version vom 7. Februar 2020, 16:56 Uhr (Quelltext anzeigen) Snotty (Diskussion \| Beiträge) ← Zum vorherigen Versionsunterschied		Version vom 3. Dezember 2022, 13:15 Uhr (Quelltext anzeigen) Snotty (Diskussion \| Beiträge) Zum nächsten Versionsunterschied →
Zeile 1:		Zeile 1:
−	* Navigation_popups[ResourceLoader\|type=general]\|popups.js\|navpop.css
	* HotCat[ResourceLoader]\|HotCat.js		* HotCat[ResourceLoader]\|HotCat.js