Merge pull request #224630 from mweinelt/mediawiki-1.38.6

[release-22.11] mediawiki: 1.38.5 -> 1.38.6
This commit is contained in:
Martin Weinelt
2023-04-04 14:25:17 +02:00
committed by GitHub

View File

@@ -2,11 +2,11 @@
stdenv.mkDerivation rec {
pname = "mediawiki";
version = "1.38.5";
version = "1.38.6";
src = fetchurl {
url = "https://releases.wikimedia.org/mediawiki/${lib.versions.majorMinor version}/mediawiki-${version}.tar.gz";
sha256 = "sha256-YPxh/OzDP/Xaj7aokqtfCCr6yuI07LFj81RzMa+hGSM=";
sha256 = "sha256-yNgQvnNn92gE639eETf2ZXKL844Q2fGsnWJ5quXU3Rw=";
};
postPatch = ''