Linter

Zweck: Voraussetzung für DiscussionTools

Doku: https://www.mediawiki.org/wiki/Extension:Linter

1. Ergänzung in LocalSettings.php:

wfLoadExtension( 'Linter' );

2. Update-Skript ausführen

3. 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
	]
];