1 files changed, 2 insertions, 0 deletions

diff --git a/modules/private/websites/isabelle/aten_production.nix b/modules/private/websites/isabelle/aten_production.nix
index e34d659..4fa3622 100644
--- a/modules/private/websites/isabelle/aten_production.nix
+++ b/modules/private/websites/isabelle/aten_production.nix
@@ -2,6 +2,7 @@
 let
   secrets = config.myEnv.websites.isabelle.aten_production;
   app = pkgs.callPackage ./aten_app {
+    composerEnv = pkgs.composerEnv.override { php = pkgs.php72; };
     environment = secrets.environment;
     varDir = "/var/lib/isabelle_aten_production";
   };
@@ -37,6 +38,7 @@ in {
         "pm.min_spare_servers" = "1";
         "pm.max_spare_servers" = "3";
       };
+      phpPackage = pkgs.php72;
     };
 
     secrets.keys = [{