MediaWiki:Gadgets-definition: Unterschied zwischen den Versionen

Version vom 24. Februar 2017, 11:07 Uhr

Extra-Editbuttons[ResourceLoader]|Extra-Editbuttons.js wikEd[ResourceLoader|dependencies=mediawiki.util,user]|wikEd.js

Version vom 24. Februar 2017, 11:06 Uhr (Quelltext anzeigen) Admin ob (Diskussion \| Beiträge) (Die Seite wurde neu angelegt: „Extra-Editbuttons[ResourceLoader]\|Extra-Editbuttons.js“)		Version vom 24. Februar 2017, 11:07 Uhr (Quelltext anzeigen) Admin ob (Diskussion \| Beiträge) Zum nächsten Versionsunterschied →
Zeile 1:		Zeile 1:
	Extra-Editbuttons[ResourceLoader]\|Extra-Editbuttons.js		Extra-Editbuttons[ResourceLoader]\|Extra-Editbuttons.js
		+	wikEd[ResourceLoader\|dependencies=mediawiki.util,user]\|wikEd.js