apache-httpd: Add 'extensions' config option

This commit is contained in:
Svein Ove Aas 2017-01-28 19:21:56 +00:00
parent 2608adeb17
commit 9b2d4a9fce

View file

@ -91,12 +91,16 @@ let
}; };
skins = config.skins; skins = config.skins;
extensions = config.extensions;
buildPhase = buildPhase =
'' ''
for skin in $skins; do for skin in $skins; do
cp -prvd $skin/* skins/ cp -prvd $skin/* skins/
done done
for extension in $extensions; do
cp -prvd $extension/* extensions/
done
''; # */ ''; # */
installPhase = installPhase =
@ -287,6 +291,16 @@ in
''; '';
}; };
extensions = mkOption {
default = [];
type = types.listOf types.path;
description =
''
List of paths whose content is copied to the 'extensions'
subdirectory of the MediaWiki installation.
'';
};
extraConfig = mkOption { extraConfig = mkOption {
type = types.lines; type = types.lines;
default = ""; default = "";