MediaWiki:Gadgets-definition: Unterschied zwischen den Versionen

Aus Wiki
Wechseln zu: Navigation, Suche
(Die Seite wurde neu angelegt: „Extra-Editbuttons[ResourceLoader]|Extra-Editbuttons.js“)
(kein Unterschied)

Version vom 24. Februar 2017, 11:06 Uhr

Extra-Editbuttons[ResourceLoader]|Extra-Editbuttons.js