diff options
Diffstat (limited to 'modules/mediawiki/options.nix')
| -rw-r--r-- | modules/mediawiki/options.nix | 62 |
1 files changed, 0 insertions, 62 deletions
diff --git a/modules/mediawiki/options.nix b/modules/mediawiki/options.nix deleted file mode 100644 index bb39a14..0000000 --- a/modules/mediawiki/options.nix +++ /dev/null @@ -1,62 +0,0 @@ -{lib, ...}: -with lib.types; { - sys = { - hostName = lib.mkOption { - type = str; - description = "used for nginx virtualhost. no protocol"; - example = "wiki.posixlycorrect.com"; - }; - - name = lib.mkOption { - type = str; - description = "name of the wiki"; - example = "posixlycorrect wiki"; - }; - - passwordFile = lib.mkOption { - type = types.path; - description = "A file containing the initial password for the administrator account 'admin'"; - example = "/run/keys/mediawiki-password"; - }; - - skins = lib.mkOption { - type = types.attrsOf (types.nullOr str); - description = "skins for mediawiki"; - default = {}; - example = '' { - citizen = "flakes.mediawikiSkinCitizen"; - };''; - }; - - extraConfig = lib.mkOption { - type = str; - default = ""; - example = '' - # Disable anonymous editing and account creation - $wgGroupPermissions['*']['edit'] = false; - $wgGroupPermissions['*']['createaccount'] = false; - ''; - }; - - 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; - CiteThisPage = null; - Scribunto = null; - Cite = null; - CodeEditor = null; - Math = null; - MultimediaViewer = null; - PdfHandler = null; - Poem = null; - SecureLinkFixer = null; - WikiEditor = null; - ParserFunctions = null; - };''; - }; - }; -} |
