Merge pull request #178614 from SuperSandro2000/mediawiki

mediawiki: 1.37.2 -> 1.38.1, adopt
This commit is contained in:
Sandro 2022-07-22 14:29:42 +02:00 committed by GitHub
commit 4eec7601d2
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -2,24 +2,24 @@
stdenv.mkDerivation rec {
pname = "mediawiki";
version = "1.37.2";
version = "1.38.1";
src = with lib; fetchurl {
url = "https://releases.wikimedia.org/mediawiki/${versions.majorMinor version}/${pname}-${version}.tar.gz";
sha256 = "sha256-WD8HS8r87BfaUBQqVvW7/eXDNml31h2RLX5W/Mo72hs=";
src = fetchurl {
url = "https://releases.wikimedia.org/mediawiki/${lib.versions.majorMinor version}/mediawiki-${version}.tar.gz";
sha256 = "sha256-EXNlUloN7xsgnKUIV9ZXNrYlRbh3p1NIpXqF0SZDezE=";
};
prePatch = ''
postPatch = ''
sed -i 's|$vars = Installer::getExistingLocalSettings();|$vars = null;|' includes/installer/CliInstaller.php
'';
phpConfig = writeText "LocalSettings.php" ''
<?php
return require(getenv('MEDIAWIKI_CONFIG'));
?>
'';
installPhase = ''
installPhase = let
phpConfig = writeText "LocalSettings.php" ''
<?php
return require(getenv('MEDIAWIKI_CONFIG'));
?>
'';
in ''
runHook preInstall
mkdir -p $out/share/mediawiki
@ -34,6 +34,6 @@ stdenv.mkDerivation rec {
license = licenses.gpl2Plus;
homepage = "https://www.mediawiki.org/";
platforms = platforms.all;
maintainers = with maintainers; [ ];
maintainers = with maintainers; [ ] ++ teams.c3d2.members;
};
}