MediaWiki:Gadgets-definition: Unterschied zwischen den Versionen

Aus Wiki
Wechseln zu: Navigation, Suche
Zeile 1: Zeile 1:
 
* Extra-Editbuttons[ResourceLoader]|Extra-Editbuttons.js
 
* Extra-Editbuttons[ResourceLoader]|Extra-Editbuttons.js
−
 
−
* wikEd[ResourceLoader|dependencies=mediawiki.util,user]|wikEd.js
 

Version vom 24. Februar 2017, 11:40 Uhr

  • Extra-Editbuttons[ResourceLoader]|Extra-Editbuttons.js