Linter
Aus Klimalexikon
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
]
];