Linter

Aus Klimalexikon
Version vom 19. April 2025, 18:48 Uhr von ThomasKoester (Diskussion | Beiträge) (Update-Skript ausführen)
(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
	]
];