From 7fb4fa12ed6879c316b1db3272f662ab6e01ab6e Mon Sep 17 00:00:00 2001 From: quitte Date: Thu, 24 Aug 2023 16:48:19 +0200 Subject: [PATCH] undo formatting mistake --- modules/wiki.nix | 58 ++++++++++++++++++++++++------------------------ 1 file changed, 29 insertions(+), 29 deletions(-) diff --git a/modules/wiki.nix b/modules/wiki.nix index f5f2d16..31a005b 100644 --- a/modules/wiki.nix +++ b/modules/wiki.nix @@ -38,40 +38,40 @@ in }; extraConfig = '' - $wgSitename = "FSR Wiki"; - $wgArticlePath = '/$1'; + $wgSitename = "FSR Wiki"; + $wgArticlePath = '/$1'; - // $wgLogo = "https://www.c3d2.de/images/ck.png"; - $wgLanguageCode = "de"; + // $wgLogo = "https://www.c3d2.de/images/ck.png"; + $wgLanguageCode = "de"; - $wgGroupPermissions['*']['read'] = false; - $wgGroupPermissions['*']['edit'] = false; - $wgGroupPermissions['*']['createaccount'] = false; - $wgGroupPermissions['*']['autocreateaccount'] = true; - $wgGroupPermissions['sysop']['userrights'] = true; - $wgGroupPermissions['sysop']['deletelogentry'] = true; - $wgGroupPermissions['sysop']['deleterevision'] = true; + $wgGroupPermissions['*']['read'] = false; + $wgGroupPermissions['*']['edit'] = false; + $wgGroupPermissions['*']['createaccount'] = false; + $wgGroupPermissions['*']['autocreateaccount'] = true; + $wgGroupPermissions['sysop']['userrights'] = true; + $wgGroupPermissions['sysop']['deletelogentry'] = true; + $wgGroupPermissions['sysop']['deleterevision'] = true; - $wgEnableAPI = true; - $wgAllowUserCss = true; - $wgUseAjax = true; - $wgEnableMWSuggest = true; - $wgDefaultSkin = 'timeless'; + $wgEnableAPI = true; + $wgAllowUserCss = true; + $wgUseAjax = true; + $wgEnableMWSuggest = true; + $wgDefaultSkin = 'timeless'; - //TODO what about $wgUpgradeKey ? + //TODO what about $wgUpgradeKey ? - # Auth - # https://www.mediawiki.org/wiki/Extension:PluggableAuth - # https://www.mediawiki.org/wiki/Extension:OpenID_Connect - $wgPluggableAuth_EnableLocalLogin = true; - $wgPluggableAuth_Config["iFSR Login"] = [ - "plugin" => "OpenIDConnect", - "data" => [ - "providerURL" => "${config.services.portunus.domain}/dex", - "clientID" => "wiki", - "clientsecret" => file_get_contents('${config.sops.secrets."mediawiki/oidc_secret".path}'), - ], - ]; + # Auth + # https://www.mediawiki.org/wiki/Extension:PluggableAuth + # https://www.mediawiki.org/wiki/Extension:OpenID_Connect + $wgPluggableAuth_EnableLocalLogin = true; + $wgPluggableAuth_Config["iFSR Login"] = [ + "plugin" => "OpenIDConnect", + "data" => [ + "providerURL" => "${config.services.portunus.domain}/dex", + "clientID" => "wiki", + "clientsecret" => file_get_contents('${config.sops.secrets."mediawiki/oidc_secret".path}'), + ], + ]; ''; extensions = {