mediawiki: init at 1.32.2

This commit is contained in:
Aaron Andersen 2019-06-05 21:17:38 -04:00
parent 72ef4786e1
commit e717876848
2 changed files with 41 additions and 0 deletions

View file

@ -0,0 +1,39 @@
{ stdenv, fetchurl, makeWrapper, writeText }:
stdenv.mkDerivation rec {
pname = "mediawiki";
version = "1.33.0";
src = with stdenv.lib; fetchurl {
url = "https://releases.wikimedia.org/mediawiki/${versions.majorMinor version}/${pname}-${version}.tar.gz";
sha256 = "0rydzmr64r3p5n6g8v9rifk277z1v31p82s8ka8xap8cfkca4dc3";
};
prePatch = ''
sed -i 's|$vars = Installer::getExistingLocalSettings();|$vars = null;|' includes/installer/CliInstaller.php
'';
phpConfig = writeText "LocalSettings.php" ''
<?php
return require(getenv('MEDIAWIKI_CONFIG'));
?>
'';
installPhase = ''
runHook preInstall
mkdir -p $out/share/mediawiki
cp -r * $out/share/mediawiki
cp ${phpConfig} $out/share/mediawiki/LocalSettings.php
runHook postInstall
'';
meta = with stdenv.lib; {
description = "The collaborative editing software that runs Wikipedia";
license = licenses.gpl2Plus;
homepage = "https://www.mediawiki.org/";
platforms = platforms.all;
maintainers = [ maintainers.redvers ];
};
}

View file

@ -4579,6 +4579,8 @@ in
};
};
mediawiki = callPackage ../servers/web-apps/mediawiki { };
memtier-benchmark = callPackage ../tools/networking/memtier-benchmark { };
memtest86-efi = callPackage ../tools/misc/memtest86-efi { };