MediaWiki:Gadgets-definition: Unterschied zwischen den Versionen
| 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 | ||
Version vom 24. Februar 2017, 11:14 Uhr
Extra-Editbuttons[ResourceLoader]|Extra-Editbuttons.js
wikEd[ResourceLoader|dependencies=mediawiki.util,user]|wikEd.js
