MediaWiki:Gadgets-definition: Unterschied zwischen den Versionen

Version vom 10. April 2020, 16:08 Uhr

Version vom 10. April 2020, 16:06 Uhr (Quelltext anzeigen) Schiriwiki (Diskussion \| Beiträge) (Die Seite wurde neu angelegt: „* wikEd[ResourceLoader]\|wikEd.js“)		Version vom 10. April 2020, 16:08 Uhr (Quelltext anzeigen) Schiriwiki (Diskussion \| Beiträge) Zum nächsten Versionsunterschied →
Zeile 1:		Zeile 1:
−	* wikEd[ResourceLoader]\|wikEd.js	+	* wikEd[ResourceLoader\|default]\|wikEd.js