trivionomicon: mediawiki: add blank defaults

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;