Linter: Unterschied zwischen den Versionen
Aus Klimalexikon
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.…“ |
|||
Zeile 6: | Zeile 6: | ||
</syntaxhighlight> | </syntaxhighlight> | ||
=== [[UpdateSkript|Update-Skript ausführen]] === | === [[Project:UpdateSkript|Update-Skript ausführen]] === | ||
=== Parsoid aktivieren und für Verwendung mit Linter konfigurieren === | === Parsoid aktivieren und für Verwendung mit Linter konfigurieren === |
Aktuelle Version vom 19. April 2025, 18:48 Uhr
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
]
];