1
0
Fork 0
forked from fabian/nix

trivionomicon: mediawiki: add blank defaults

This commit is contained in:
Fabian Montero 2026-02-03 15:30:40 -06:00
parent c34f32afa8
commit 9c9b44d600
Signed by untrusted user: fabian
GPG key ID: 8036F30EDBAC8447

View file

@ -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;