diff options
Diffstat (limited to '')
| -rw-r--r-- | modules/mediawiki/options.nix | 16 |
1 files changed, 3 insertions, 13 deletions
diff --git a/modules/mediawiki/options.nix b/modules/mediawiki/options.nix index 06acbf1..dc01a74 100644 --- a/modules/mediawiki/options.nix +++ b/modules/mediawiki/options.nix @@ -22,6 +22,7 @@ with lib.types; { skins = lib.mkOption { type = types.attrsOf (types.nullOr str); description = "skins for mediawiki"; + default = {}; example = ''{ citizen = "flakes.mediawikiSkinCitizen"; };''; @@ -29,29 +30,18 @@ with lib.types; { extraConfig = lib.mkOption { type = str; + default = ""; example = '' # Disable anonymous editing and account creation $wgGroupPermissions['*']['edit'] = false; $wgGroupPermissions['*']['createaccount'] = false; - - $wgCitizenThemeDefault = 'dark'; - $wgCitizenShowPageTools = 'login'; - $wgLogos = [ - 'icon' => "https://example.com/favicon.png", - '1x' => "https://example.com/favicon.png", - '2x' => "https://example.com/favicon.png", - ]; - - $wgEnableEmail = false; #TODO: arreglar esto - $wgNoReplyAddress = 'mediawiki@example.com'; - $wgEmergencyContact = 'mediawiki@example.com'; - $wgPasswordSender = 'mediawiki@example.com'; ''; }; extensions = lib.mkOption { type = types.attrsOf (types.nullOr types.path); description = "some extensions are included and can enabled by passing null"; + default = {}; example = ''{ VisualEditor = null; CategoryTree = null; |