Merge pull request #166720 from mweinelt/mediawiki

This commit is contained in:
Martin Weinelt 2022-04-01 04:15:06 +02:00 committed by GitHub
commit b58813a324
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -2,11 +2,11 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "mediawiki"; pname = "mediawiki";
version = "1.37.1"; version = "1.37.2";
src = with lib; fetchurl { src = with lib; fetchurl {
url = "https://releases.wikimedia.org/mediawiki/${versions.majorMinor version}/${pname}-${version}.tar.gz"; url = "https://releases.wikimedia.org/mediawiki/${versions.majorMinor version}/${pname}-${version}.tar.gz";
sha256 = "sha256-U0NuktwwrbFLZ5fYE50gaWpUYVJfOKN1yD5DXPBC4uc="; sha256 = "sha256-WD8HS8r87BfaUBQqVvW7/eXDNml31h2RLX5W/Mo72hs=";
}; };
prePatch = '' prePatch = ''