Merge pull request #166720 from mweinelt/mediawiki
commitb58813a3246443c16132dfbe6b99843be97ba9f2
authorMartin Weinelt <mweinelt@users.noreply.github.com>
dateFri 1 Apr 2022, 04:15 (5 years ago)
parentff1c57b1e2c1b8
pkgs/servers/web-apps/mediawiki/default.nix+2−2
@@ -2,11 +2,11 @@
22
33stdenv.mkDerivation rec {
44 pname = "mediawiki";
5− version = "1.37.1";
5+ version = "1.37.2";
66
77 src = with lib; fetchurl {
88 url = "https://releases.wikimedia.org/mediawiki/${versions.majorMinor version}/${pname}-${version}.tar.gz";
9− sha256 = "sha256-U0NuktwwrbFLZ5fYE50gaWpUYVJfOKN1yD5DXPBC4uc=";
9+ sha256 = "sha256-WD8HS8r87BfaUBQqVvW7/eXDNml31h2RLX5W/Mo72hs=";
1010 };
1111
1212 prePatch = ''