MediaWiki:Gadgets-definition: Unterschied zwischen den Versionen

Version vom 10. Dezember 2022, 23:08 Uhr

Version vom 10. Dezember 2022, 23:00 Uhr (Quelltext anzeigen) Dirkwagner (Diskussion \| Beiträge) Keine Bearbeitungszusammenfassung Markierung: Manuelle Zurücksetzung ← Zum vorherigen Versionsunterschied		Version vom 10. Dezember 2022, 23:08 Uhr (Quelltext anzeigen) Dirkwagner (Diskussion \| Beiträge) Keine Bearbeitungszusammenfassung Zum nächsten Versionsunterschied →
Zeile 1:		Zeile 1:
	* autonum[ResourceLoader]\|autonum.css\|autonum.js		* autonum[ResourceLoader]\|autonum.css\|autonum.js\|default