backup: use phpPackage defined in mediawiki phpfpm pool

This commit is contained in:
Jörg Thalheim 2023-11-04 19:49:42 +01:00
parent 5444c8e3a9
commit 9ba29b3f8c

View File

@ -8,7 +8,7 @@ let
preferLocalBuild = true; preferLocalBuild = true;
} '' } ''
mkdir -p $out/bin mkdir -p $out/bin
makeWrapper ${pkgs.php}/bin/php $out/bin/mediawiki-maintenance \ makeWrapper ${config.services.phpfpm.pools.mediawiki.phpPackage}/bin/php $out/bin/mediawiki-maintenance \
--set MEDIAWIKI_CONFIG ${config.services.phpfpm.pools.mediawiki.phpEnv.MEDIAWIKI_CONFIG} \ --set MEDIAWIKI_CONFIG ${config.services.phpfpm.pools.mediawiki.phpEnv.MEDIAWIKI_CONFIG} \
--add-flags ${config.services.mediawiki.finalPackage}/share/mediawiki/maintenance/run.php --add-flags ${config.services.mediawiki.finalPackage}/share/mediawiki/maintenance/run.php
''; '';