Remove overlay that overrides the php version

1 files changed, 2 insertions, 0 deletions

diff --git a/modules/private/websites/isabelle/aten_integration.nix b/modules/private/websites/isabelle/aten_integration.nix
index 61c35cc..6f8f985 100644
--- a/modules/private/websites/isabelle/aten_integration.nix
+++ b/modules/private/websites/isabelle/aten_integration.nix
@@ -2,6 +2,7 @@
 let
   secrets = config.myEnv.websites.isabelle.aten_integration;
   app = pkgs.callPackage ./aten_app {
+    composerEnv = pkgs.composerEnv.override { php = pkgs.php72; };
     environment = secrets.environment;
     varDir = "/var/lib/isabelle_aten_integration";
   };
@@ -37,6 +38,7 @@ in {
       phpEnv = {
         SYMFONY_DEBUG_MODE = "\"yes\"";
       };
+      phpPackage = pkgs.php72;
     };
 
     secrets.keys = [{