MediaWiki Diskussion:Gadgets-definition

Installierte Gadgets

Bearbeitungswerkzeuge

• 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

• PR-robot
  • Beschreibung: MediaWiki:Gadget-PR-robot (match und split durch ThomasBot)
  • JS: MediaWiki:Gadget-PR-robot.js

Verwaiste Gadgets

• MediaWiki:Gadget-OCR.js
• MediaWiki:Gadget-Proofread-Quality.js