MediaWiki:Gadgets-definition: Unterschied zwischen den Versionen
(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