MediaWiki:Gadgets-definition
Bearbeitungswerkzeuge
- toolserver-integration|toolserver-integration.js
- Extra-Editbuttons[ResourceLoader]|Extra-Editbuttons.js
- Vorlagenmeister[ResourceLoader]|Vorlagenmeister.js
- wikEd[ResourceLoader|dependencies=mediawiki.util,user]|wikEd.js
- HotCat|HotCat.js
- Einleitung-bearbeiten|Einleitung-bearbeiten.js
- Rechtschreibpruefung|Rechtschreibpruefung.js
- bkl-check[ResourceLoader|dependencies=mediawiki.util,jquery.mwExtension]|bkl-check.js|bkl-check.css
- contribsrange|contribsrange.js