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