MediaWiki:Gadgets-definition: Unterschied zwischen den Versionen

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

Version vom 7. Februar 2020, 16:46 Uhr (Quelltext anzeigen) Snotty (Diskussion \| Beiträge) (Die Seite wurde neu angelegt: „* Navigation_popups[ResourceLoader\|type=general]\|popups.js\|navpop.css“)		Aktuelle Version vom 3. Dezember 2022, 13:20 Uhr (Quelltext anzeigen) Snotty (Diskussion \| Beiträge)
(2 dazwischenliegende Versionen desselben Benutzers werden nicht angezeigt)
Zeile 1:		Zeile 1:
	* Navigation_popups[ResourceLoader\|type=general]\|popups.js\|navpop.css		* Navigation_popups[ResourceLoader\|type=general]\|popups.js\|navpop.css
		+	* HotCat[ResourceLoader]\|HotCat.js