Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
#! /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"
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.