MediaWiki:Gadgets-definition: Unterschied zwischen den Versionen

Aktuelle Version vom 10. April 2020, 16:11 Uhr

Version vom 10. April 2020, 16:08 Uhr (Quelltext anzeigen) Schiriwiki (Diskussion \| Beiträge) ← Zum vorherigen Versionsunterschied		Aktuelle Version vom 10. April 2020, 16:11 Uhr (Quelltext anzeigen) Schiriwiki (Diskussion \| Beiträge)
Zeile 1:		Zeile 1:
−	* wikEd[ResourceLoader~~\|default~~]\|wikEd.js	+	* wikEd[ResourceLoader]\|wikEd.js