diff options
author | Jörg Thalheim <joerg@thalheim.io> | 2023-11-04 19:46:54 +0100 |
---|---|---|
committer | Jörg Thalheim <Mic92@users.noreply.github.com> | 2023-11-06 22:52:42 +0100 |
commit | a7c984b7a2e2241380a3c798fac64b62b51a02de (patch) | |
tree | 6d4fd358e7da6cc684bd38dc97cfae78c834ba98 /nixos/modules | |
parent | 915ad8a77b9f0b83bd69716464df887afb3aa682 (diff) |
nixos/mediawiki: pin php to 8.1
Diffstat (limited to 'nixos/modules')
-rw-r--r-- | nixos/modules/services/web-apps/mediawiki.nix | 2 |
1 files changed, 2 insertions, 0 deletions
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; |