Merge pull request #92335 from r-ryantm/auto-update/mediawiki

mediawiki: 1.34.1 -> 1.34.2
This commit is contained in:
Aaron Andersen 2020-07-06 07:07:47 -04:00 committed by GitHub
commit 4027715570
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.34.1";
version = "1.34.2";
src = with stdenv.lib; fetchurl {
url = "https://releases.wikimedia.org/mediawiki/${versions.majorMinor version}/${pname}-${version}.tar.gz";
sha256 = "0jg1ls5xy2bmvvd63lpvnkj53rfmik6sy2px14mphxba3gbcpf5c";
sha256 = "1mi46a14b2080x6mh61mb49xq0ky27g0lbm3gqgvkgckc1zmbp0f";
};
prePatch = ''