Updated Mediawiki to 1.23.1
This commit is contained in:
parent
8cf2cd5d11
commit
d4a320cd12
|
@ -72,11 +72,11 @@ let
|
||||||
|
|
||||||
# Unpack Mediawiki and put the config file in its root directory.
|
# Unpack Mediawiki and put the config file in its root directory.
|
||||||
mediawikiRoot = pkgs.stdenv.mkDerivation rec {
|
mediawikiRoot = pkgs.stdenv.mkDerivation rec {
|
||||||
name= "mediawiki-1.20.8";
|
name= "mediawiki-1.23.1";
|
||||||
|
|
||||||
src = pkgs.fetchurl {
|
src = pkgs.fetchurl {
|
||||||
url = "http://download.wikimedia.org/mediawiki/1.20/${name}.tar.gz";
|
url = "http://download.wikimedia.org/mediawiki/1.23/${name}.tar.gz";
|
||||||
sha256 = "0yfmh5vnfbgpvicfqh7nh4hwdk4qbc6gfniv02vchkg5al0nn7ag";
|
sha256 = "07z5j8d988cdg4ml4n0vs9fwmj0p594ibbqdid16faxwqm52dkhl";
|
||||||
};
|
};
|
||||||
|
|
||||||
skins = config.skins;
|
skins = config.skins;
|
||||||
|
@ -93,9 +93,10 @@ let
|
||||||
ensureDir $out
|
ensureDir $out
|
||||||
cp -r * $out
|
cp -r * $out
|
||||||
cp ${mediawikiConfig} $out/LocalSettings.php
|
cp ${mediawikiConfig} $out/LocalSettings.php
|
||||||
sed -i 's|/bin/bash|${pkgs.stdenv.shell}|' \
|
sed -i \
|
||||||
$out/maintenance/fuzz-tester.php \
|
-e 's|/bin/bash|${pkgs.bash}/bin/bash|g' \
|
||||||
$out/bin/ulimit.sh \
|
-e 's|/usr/bin/timeout|${pkgs.coreutils}/bin/timeout|g' \
|
||||||
|
$out/includes/limit.sh \
|
||||||
$out/includes/GlobalFunctions.php
|
$out/includes/GlobalFunctions.php
|
||||||
'';
|
'';
|
||||||
};
|
};
|
||||||
|
|
Loading…
Reference in New Issue