Make mysqli a shared extension, and load it where necessary

1 files changed, 6 insertions, 0 deletions

diff --git a/virtual/modules/websites/chloe/default.nix b/virtual/modules/websites/chloe/default.nix
index e5c3db7..fb1f602 100644
--- a/virtual/modules/websites/chloe/default.nix
+++ b/virtual/modules/websites/chloe/default.nix
@@ -37,6 +37,9 @@ in {
       };
 
       services.myPhpfpm.poolConfigs.chloe_prod = chloe_prod.phpFpm.pool;
+      services.myPhpfpm.poolPhpConfigs.chloe_prod = ''
+        extension=${pkgs.php}/lib/php/extensions/mysqli.so
+        '';
       system.activationScripts.chloe_prod = chloe_prod.activationScript;
       services.myWebsites.production.modules = chloe_prod.apache.modules;
       services.myWebsites.production.vhostConfs.chloe = {
@@ -49,6 +52,9 @@ in {
     (lib.mkIf cfg.integration.enable {
       security.acme.certs."eldiron".extraDomains."chloe.immae.eu" = null;
       services.myPhpfpm.poolConfigs.chloe_dev = chloe_dev.phpFpm.pool;
+      services.myPhpfpm.poolPhpConfigs.chloe_prod = ''
+        extension=${pkgs.php}/lib/php/extensions/mysqli.so
+        '';
       system.activationScripts.chloe_dev = chloe_dev.activationScript;
       services.myWebsites.integration.modules = chloe_dev.apache.modules;
       services.myWebsites.integration.vhostConfs.chloe = {