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

mediawiki: 1.35.2 -> 1.36.0
This commit is contained in:
markuskowa 2021-06-25 13:22:34 +02:00 committed by GitHub
commit 4457a52cab
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,12 +1,12 @@
{ lib, stdenv, fetchurl, makeWrapper, writeText }: { lib, stdenv, fetchurl, writeText }:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "mediawiki"; pname = "mediawiki";
version = "1.35.2"; version = "1.36.1";
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 = "07cch4j2lcncfjv71351c1fxh200p83g2ijb3c9x8rv6nzcmiymz"; sha256 = "0ymda3x58a7ic4bwhbkxc7rskkwn164nplxzq9g4w9qnmwcqnsg6";
}; };
prePatch = '' prePatch = ''