]> scripts.mit.edu Git - autoinstallsdev/mediawiki.git/blob - maintenance/dev/install.sh
MediaWiki 1.30.2
[autoinstallsdev/mediawiki.git] / maintenance / dev / install.sh
1 #!/bin/bash
2
3 if [ "x$BASH_SOURCE" == "x" ]; then echo '$BASH_SOURCE not set'; exit 1; fi
4 DEV=$(cd -P "$(dirname "${BASH_SOURCE[0]}" )" && pwd)
5
6 "$DEV/installphp.sh"
7 "$DEV/installmw.sh"
8 "$DEV/start.sh"