setup-mw-vagrant.sh

#! /bin/bash

# Sets up MediaWiki Vagrant in a subdirectory named mw-vagrant
# When aksed for a git user, just hit enter. Entering "anonymous" does not work.

set -ex

git clone --recursive https://gerrit.wikimedia.org/r/mediawiki/vagrant mw-vagrant
cd mw-vagrant

vagrant config nfs_shares off
./setup.sh

vagrant up

# == Setup up an extension and running the tests

# cd mw-vagrant
# vagrant ssh
# # Host: clone extension into mw-vagrant/mediawiki/extensions/
# cd /vagrant/mediawiki/extensions/your-extension
# composer install
# cd /vagrant/mediawiki/tests/phpunit
# php phpunit.php --wiki wiki -c ../../extensions/your-extension/phpunit.xml.dist

# == Setting up PHP 7

# sudo echo 'deb http://packages.dotdeb.org jessie all' >> /etc/apt/sources.list
# sudo echo 'deb-src http://packages.dotdeb.org jessie all' >> /etc/apt/sources.list
# wget https://www.dotdeb.org/dotdeb.gpg
# sudo apt-key add dotdeb.gpg
# rm dotdeb.gpg
# sudo apt-get update
# sudo apt-get install php7.0-xml php7.0-curl php7.0-zip php7.0-mbstring php7.0-redis
# php7.0 /usr/local/bin/composer update
# php7.0 phpunit.php --wiki wiki -c ../../extensions/GitHub/phpunit.xml.dist --with-phpunitclass "PHPUnit\TextUI\Command"