RevisionStorageTest: use MediaWikiTestCase methods for setting globals

[lhc/web/wiklou.git] / maintenance / dev / installphp.sh

diff --git a/maintenance/dev/installphp.sh b/maintenance/dev/installphp.sh
index 7ab3a67..d26ffa6 100755 (executable)
--- a/maintenance/dev/installphp.sh
+++ b/maintenance/dev/installphp.sh
@@ -1,29 +1,45 @@
 #!/bin/bash
 
-if [[ "x$BASH_SOURCE" == "x" ]]; then echo '$BASH_SOURCE not set'; exit 1; fi
+if [ "x$BASH_SOURCE" == "x" ]; then echo '$BASH_SOURCE not set'; exit 1; fi
 DEV=$(cd -P "$(dirname "${BASH_SOURCE[0]}" )" && pwd)
 
 set -e # DO NOT USE PIPES unless this is rewritten
 
-if [ -d $DEV/php ]; then
+. "$DEV/includes/php.sh"
+
+if [ "x$PHP" != "x" -a -x "$PHP" ]; then
        echo "PHP is already installed"
-       exit 1
+       exit 0
 fi
 
 TAR=php5.4-latest.tar.gz
-PHPURL=http://snaps.php.net/$TAR
+PHPURL="http://snaps.php.net/$TAR"
+
+cd "$DEV"
+
+echo "Preparing to download and install a local copy of PHP 5.4, note that this can take some time to do."
+echo "If you wish to avoid re-doing this for uture dev installations of MediaWiki we suggest installing php in ~/.mediawiki/php"
+echo -n "Install PHP in ~/.mediawiki/php [y/N]: "
+read INSTALLINHOME
 
-cd $DEV
+case "$INSTALLINHOME" in
+       [Yy] | [Yy][Ee][Ss] )
+               PREFIX="$HOME/.mediawiki/php"
+               ;;
+       *)
+               PREFIX="$DEV/php/"
+               ;;
+esac
 
 # Some debain-like systems bundle wget but not curl, some other systems
 # like os x bundle curl but not wget... use whatever is available
 echo -n "Downloading PHP 5.4"
 if command -v wget &>/dev/null; then
        echo "- using wget"
-       wget $PHPURL
+       wget "$PHPURL"
 elif command -v curl &>/dev/null; then
        echo "- using curl"
-       curl -O $PHPURL
+       curl -O "$PHPURL"
 else
        echo "- aborting"
        echo "Could not find curl or wget." >&2;
@@ -31,11 +47,11 @@ else
 fi
 
 echo "Extracting php 5.4"
-tar -xzf $TAR
+tar -xzf "$TAR"
 
 cd php5.4-*/
 
-echo "Configuring and installing php 5.4 in $IP/maintenance/dev/php/"
-./configure --prefix=$DEV/php/
+echo "Configuring and installing php 5.4 in $PREFIX"
+./configure --prefix="$PREFIX"
 make
 make install