MediaWiki:Gadgets-definition: Unterschied zwischen den Versionen
| (Eine dazwischenliegende Version desselben Benutzers wird nicht angezeigt) | |
(kein Unterschied)
| |
Aktuelle Version vom 24. Februar 2017, 11:40 Uhr
- Extra-Editbuttons[ResourceLoader]|Extra-Editbuttons.js
- wikEd[ResourceLoader|dependencies=mediawiki.util,user]|wikEd.js