Version vom 21. Dezember 2017, 01:00 Uhr (Quelltext anzeigen) Joerg R.J. Schirra (Diskussion \| Beiträge) (Die Seite wurde neu angelegt: „* Edittools[ResourceLoader\|default]\|Edittools.js“)	Aktuelle Version vom 21. Dezember 2017, 14:46 Uhr (Quelltext anzeigen) Joerg R.J. Schirra (Diskussion \| Beiträge) K (1 Version importiert)
(kein Unterschied)

MediaWiki:Gadgets-definition: Unterschied zwischen den Versionen

Aktuelle Version vom 21. Dezember 2017, 14:46 Uhr