MediaWiki Diskussion:Gadgets-definition
Installierte Gadgets Bearbeiten
Bearbeitungswerkzeuge Bearbeiten
- Extra-Editbuttons
- Beschreibung: MediaWiki:Gadget-Extra-Editbuttons (Das Extra-Editbuttons-Helferlein erweitert die Bearbeitungswerkzeugleiste um weitere Formatierungsoptionen.)
- JS: MediaWiki:Gadget-Extra-Editbuttons.js
- wikEd
- Beschreibung: MediaWiki:Gadget-wikEd (wikEd ist ein vollwertiger Wikipedia-integrierter Texteditor mit Syntaxhervorhebung, Suchen und Ersetzen, Vollbildmodus und vielem mehr, der das normale Bearbeitungsfeld ersetzt (nur mit mozillabasierten Browsern wie Firefox).)
- JS: MediaWiki:Gadget-wikEd.js
- HotCat
- Beschreibung: MediaWiki:Gadget-HotCat (HotCat ermöglicht das einfache Hinzufügen, Ändern und Entfernen von Kategorien in der Artikelansicht mit einer während der Eingabe automatisch aktualisierten Auswahlliste.)
- JS: MediaWiki:Gadget-HotCat.js
- Lokalisierung: MediaWiki:Gadget-HotCat.js/local defaults, MediaWiki:Gadget-HotCat.js/de
- PR-ocr
- Beschreibung: MediaWiki:Gadget-PR-ocr (OCR Buttons deaktivieren)
- JS: MediaWiki:Gadget-PR-ocr.js
- PR-Layout
- Beschreibung: MediaWiki:Gadget-PR-Layout (Seiten mit Bild Scan oben bearbeiten)
- JS: MediaWiki:Gadget-PR-Layout.js
- PR-Headers
- Beschreibung: MediaWiki:Gadget-PR-Headers (Im Bearbeitungsmodus Kopf- und Fußzeilen anzeigen)
- JS: MediaWiki:Gadget-PR-Headers.js
Sonstiges Bearbeiten
- PR-robot
- Beschreibung: MediaWiki:Gadget-PR-robot (match und split durch ThomasBot)
- JS: MediaWiki:Gadget-PR-robot.js