From c0d1c186b7811daaebea87563978c426856f28d0 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Isma=C3=ABl=20Bouya?= <ismael.bouya@normalesup.org>
Date: Tue, 7 Apr 2020 23:03:42 +0200
Subject: [PATCH] Upgrade php package for adminer

---
 modules/private/websites/tools/tools/adminer.nix | 15 ++-------------
 1 file changed, 2 insertions(+), 13 deletions(-)

diff --git a/modules/private/websites/tools/tools/adminer.nix b/modules/private/websites/tools/tools/adminer.nix
index 52a132c..f892841 100644
--- a/modules/private/websites/tools/tools/adminer.nix
+++ b/modules/private/websites/tools/tools/adminer.nix
@@ -1,4 +1,4 @@
-{ adminer, php73, forcePhpSocket ? null }:
+{ adminer, php74, forcePhpSocket ? null }:
 rec {
   activationScript = {
     deps = [ "httpd" ];
@@ -11,18 +11,7 @@ rec {
   phpFpm = rec {
     user = apache.user;
     group = apache.group;
-    phpPackage = (php73.override {
-      config.php.mysqlnd = true;
-      config.php.mysqli = false;
-      config.php.pdo-mysql = false;
-    }).overrideAttrs(old: rec {
-      configureFlags = old.configureFlags ++ [
-        "--with-mysqli=shared,mysqlnd"
-        ];
-    });
-    phpOptions = ''
-      extension=${phpPackage}/lib/php/extensions/mysqli.so
-    '';
+    phpPackage = php74;
     settings = {
       "listen.owner" = apache.user;
       "listen.group" = apache.group;
-- 
2.41.0