mediawiki.nix: Use the right PHP build
This commit is contained in:
parent
e27ee81304
commit
a559a2a606
@ -74,7 +74,7 @@ let
|
||||
phpOptions = "";
|
||||
options = {};
|
||||
};
|
||||
res = defaults // svcFunction { inherit config pkgs serverInfo; };
|
||||
res = defaults // svcFunction { inherit config pkgs serverInfo php; };
|
||||
in res;
|
||||
in map f defs;
|
||||
|
||||
|
@ -1,4 +1,4 @@
|
||||
{ config, pkgs, serverInfo, ... }:
|
||||
{ config, pkgs, serverInfo, php, ... }:
|
||||
|
||||
with pkgs.lib;
|
||||
|
||||
@ -101,7 +101,7 @@ let
|
||||
''
|
||||
ensureDir $out/bin
|
||||
for i in changePassword.php createAndPromote.php userOptions.php edit.php nukePage.php; do
|
||||
makeWrapper ${pkgs.php}/bin/php $out/bin/mediawiki-${config.id}-$(basename $i .php) \
|
||||
makeWrapper ${php}/bin/php $out/bin/mediawiki-${config.id}-$(basename $i .php) \
|
||||
--add-flags ${mediawikiRoot}/maintenance/$i
|
||||
done
|
||||
'';
|
||||
|
Loading…
x
Reference in New Issue
Block a user