Merge pull request #147790 from mweinelt/mediawiki

mediawiki: 1.36.1 -> 1.37.0
This commit is contained in:
Aaron Andersen 2021-11-29 06:58:34 -05:00 committed by GitHub
commit bcf06e7339
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -2,11 +2,11 @@
stdenv.mkDerivation rec {
pname = "mediawiki";
version = "1.36.1";
version = "1.37.0";
src = with lib; fetchurl {
url = "https://releases.wikimedia.org/mediawiki/${versions.majorMinor version}/${pname}-${version}.tar.gz";
sha256 = "0ymda3x58a7ic4bwhbkxc7rskkwn164nplxzq9g4w9qnmwcqnsg6";
sha256 = "sha256-3RrSJ8W7vIM9hRwBcn7ocGo55Kox4PSc5F5QJX75uX8=";
};
prePatch = ''
@ -34,6 +34,6 @@ stdenv.mkDerivation rec {
license = licenses.gpl2Plus;
homepage = "https://www.mediawiki.org/";
platforms = platforms.all;
maintainers = [ maintainers.redvers ];
maintainers = with maintainers; [ ];
};
}