From 9c9b44d600e396d6b5031aa4cf214c466e8f416a Mon Sep 17 00:00:00 2001 From: Fabian Montero Date: Tue, 3 Feb 2026 15:30:40 -0600 Subject: [PATCH] trivionomicon: mediawiki: add blank defaults --- trivionomicon/modules/mediawiki/options.nix | 16 +++------------- 1 file changed, 3 insertions(+), 13 deletions(-) diff --git a/trivionomicon/modules/mediawiki/options.nix b/trivionomicon/modules/mediawiki/options.nix index 06acbf1..dc01a74 100644 --- a/trivionomicon/modules/mediawiki/options.nix +++ b/trivionomicon/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;