Merge pull request #71369 from aanderse/mediawiki

mediawiki: 1.33.0 -> 1.33.1
This commit is contained in:
Aaron Andersen 2019-10-19 21:10:53 -04:00 committed by GitHub
commit c7e1fde9dc
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -2,11 +2,11 @@
stdenv.mkDerivation rec {
pname = "mediawiki";
version = "1.33.0";
version = "1.33.1";
src = with stdenv.lib; fetchurl {
url = "https://releases.wikimedia.org/mediawiki/${versions.majorMinor version}/${pname}-${version}.tar.gz";
sha256 = "0rydzmr64r3p5n6g8v9rifk277z1v31p82s8ka8xap8cfkca4dc3";
sha256 = "19x10vsgg2fhcpmfvdswwilqwa65byrsmzvhk2v8bsxzhp6s95vx";
};
prePatch = ''