From 39c72690a16e1cf873cf33db024757691fa90a5c Mon Sep 17 00:00:00 2001 From: vater c3d2 Date: Mon, 10 Jul 2023 12:14:21 +0200 Subject: [PATCH] please provide the page to manage interwiki links --- hosts/mediawiki/default.nix | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/hosts/mediawiki/default.nix b/hosts/mediawiki/default.nix index 7146f54c..0844df8a 100644 --- a/hosts/mediawiki/default.nix +++ b/hosts/mediawiki/default.nix @@ -54,7 +54,6 @@ in $wgGroupPermissions['*']['edit'] = false; $wgGroupPermissions['user']['edit'] = true; - $wgGroupPermissions['sysop']['interwiki'] = true; $wgGroupPermissions['sysop']['userrights'] = true; define("NS_INTERN", 100); @@ -114,6 +113,13 @@ in $wgUseAjax = true; $wgEnableMWSuggest = true; +# we are using the feature of the default extension interwiki for linking to other articles of the same domain +# https://www.mediawiki.org/wiki/Extension:Interwiki +# without loading this extension there is no page Spezial:Interwikitablle (aka Special:Interwiki) to manage the table of entries for interwiki links + wfLoadExtension( 'Interwiki' ); +# all members of the sysop group should be able to manage entries for interwiki links + $wgGroupPermissions['sysop']['interwiki'] = true; + //TODO what about $wgUpgradeKey ? $wgScribuntoDefaultEngine = 'luastandalone';