MediaWiki:Gadgets-definition: Unterschied zwischen den Versionen

Version vom 10. Dezember 2022, 22:08 Uhr

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