From a7c984b7a2e2241380a3c798fac64b62b51a02de Mon Sep 17 00:00:00 2001
From: Jörg Thalheim <joerg@thalheim.io>
Date: Sat, 4 Nov 2023 19:46:54 +0100
Subject: nixos/mediawiki: pin php to 8.1

---
 nixos/modules/services/web-apps/mediawiki.nix | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'nixos/modules/services/web-apps')

diff --git a/nixos/modules/services/web-apps/mediawiki.nix b/nixos/modules/services/web-apps/mediawiki.nix
index 54e33a9d56cb..8b494b7c1208 100644
--- a/nixos/modules/services/web-apps/mediawiki.nix
+++ b/nixos/modules/services/web-apps/mediawiki.nix
@@ -493,6 +493,8 @@ in
     services.phpfpm.pools.mediawiki = {
       inherit user group;
       phpEnv.MEDIAWIKI_CONFIG = "${mediawikiConfig}";
+      # https://www.mediawiki.org/wiki/Compatibility
+      phpPackage = pkgs.php81;
       settings = (if (cfg.webserver == "apache") then {
         "listen.owner" = config.services.httpd.user;
         "listen.group" = config.services.httpd.group;
-- 
cgit 1.4.1