ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2024-11-11 15:27:20 +03:00
Code Issues Projects Releases Wiki Activity

Merge pull request #22236 from Baughn/mediawiki

Browse Source 
apache-httpd: Add 'extensions' config option for mediawiki
This commit is contained in:
goibhniu 2017-05-01 19:17:36 +02:00 committed by GitHub
commit 248a06695f
1 changed files with 14 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
nixos/modules/services/web-servers/apache-httpd/mediawiki.nix
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 = "";