public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #111421 from helsinki-systems/mediawiki

Browse Source 
nixos/mediawiki: add name type
This commit is contained in:
Sandro 2021-01-31 15:04:14 +01:00 committed by GitHub
commit 5008c20426
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
nixos/modules/services/web-apps/mediawiki.nix
View File

@ -180,6 +180,7 @@ in
}; };
name = mkOption { name = mkOption {
type = types.str;
default = "MediaWiki"; default = "MediaWiki";
example = "Foobar Wiki"; example = "Foobar Wiki";
description = "Name of the wiki."; description = "Name of the wiki.";