Merge pull request #332294 from mweinelt/mediawiki-php82

nixos/mediawiki: move to php 8.2
2024-08-04 20:31:04 +02:00
parent a32c271e5b 3a719e06c7
commit e6358b74f3
1 changed files with 1 additions and 1 deletions
@@ -19,7 +19,7 @@ let
  stateDir = "/var/lib/mediawiki";

  # https://www.mediawiki.org/wiki/Compatibility
-  php = pkgs.php81;
+  php = pkgs.php82;

  pkg = pkgs.stdenv.mkDerivation rec {
    pname = "mediawiki-full";