MediaWiki:Gadget-toolserver-integration/Konfiguration/toolserverhelferleinconfig.js
Zur Navigation springen
Zur Suche springen
Hinweis: Leere nach dem Speichern den Browser-Cache, um die Änderungen sehen zu können.
- Firefox/Safari: Umschalttaste drücken und gleichzeitig Aktualisieren anklicken oder entweder Strg+F5 oder Strg+R (⌘+R auf dem Mac) drücken
- Google Chrome: Umschalttaste+Strg+R (⌘+Umschalttaste+R auf dem Mac) drücken
- Internet Explorer: Strg+F5 drücken oder Strg drücken und gleichzeitig Aktualisieren anklicken
- Opera: Gehe zu Menü → Einstellungen (Opera → Einstellungen auf dem Mac) und dann auf Datenschutz & Sicherheit → Browserdaten löschen → Gespeicherte Bilder und Dateien.
// Einstellungsmöglichkeiten sind jeweils true und false:
// Zwei Menüs mit zahlreichen Tools zu Benutzern und Seiten hinzufügen
ts_moremenu = true;
// DeepCat-Suche aktivieren
ts_deepcat = true;
// Artikelinformationen am oberen Seitenrand einblenden
ts_xtools = true;
// Informationen aus Wikidata am oberen Seitenrand einblenden
ts_wikidata = true;
// Anteile an den Artikelbearbeitungen am oberen Seitenrand einblenden
ts_history = true;
// Im Wikitexteditor Markup einfärben
ts_syntaxhighlight = true;
// Diffansicht säubern
ts_cleandiff = true;
// Zusätzliche Diffanzeige aktivieren
ts_wikeddiff = true;
// Beiträge einzelner Autoren farblich darstellen
ts_statistik = true;
// Statistische Informationen zum Artikel anbieten
ts_pagehiststat = false;
// Interwikilinks zu folgenden Wiktionaries raten
ts_guess_wiktionary_page = "de,en,lb";
// ts_guess_wiktionary_page = null;
// für geratene Wiktionary-Lemmas auch Kleinschreibung anbieten
ts_guess_wiktionary_page_lowercase = true;
// Menüeintrag "Über dieses Menü" anzeigen
ts_about = true;