Linter

Aus Klimalexikon
Version vom 19. April 2025, 18:47 Uhr von ThomasKoester (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „Voraussetzung für DiscussionTools === Ergänzung in LocalSettings.php === <syntaxhighlight lang="php"> wfLoadExtension( 'Linter' ); </syntaxhighlight> === Update-Skript ausführen === === Parsoid aktivieren und für Verwendung mit Linter konfigurieren === !ACHTUNG! ggf. URL anpassen (hier "klimalexikon.org" für die Produktivversion)!<syntaxhighlight lang="php"> wfLoadExtension( 'Parsoid', "$IP/vendor/wikimedia/parsoid/extension.…“)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Wechseln zu: Navigation, Suche

Voraussetzung für DiscussionTools

Ergänzung in LocalSettings.php

wfLoadExtension( 'Linter' );

Update-Skript ausführen

Parsoid aktivieren und für Verwendung mit Linter konfigurieren

!ACHTUNG! ggf. URL anpassen (hier "klimalexikon.org" für die Produktivversion)!

wfLoadExtension(
    'Parsoid',
	"$IP/vendor/wikimedia/parsoid/extension.json"
);

$wgParsoidSettings = [
    'useSelser' => true,
    'linting' => true
];

$wgVisualEditorParsoidAutoConfig = false; // to make linting work

$wgVirtualRestConfig = [
	'paths' => [],
	'modules' => [
		'parsoid' => [
			'url' => 'klimalexikon.org/w/rest.php',
			'domain' => 'klimalexikon.org',
			'forwardCookies' => true,
			'restbaseCompat' => false,
			'timeout' => 30
		],
	],
	'global' => [
		'timeout' => 360,
		'forwardCookies' => false,
		'HTTPProxy' => null
	]
];