Implement extension registration from an extension.json file
[mediawiki.git] / maintenance / dev / install.sh
blob2219894d29019a684f4779f8e49f0b35883ee51c
1 #!/bin/bash
3 if [ "x$BASH_SOURCE" == "x" ]; then echo '$BASH_SOURCE not set'; exit 1; fi
4 DEV=$(cd -P "$(dirname "${BASH_SOURCE[0]}" )" && pwd)
6 "$DEV/installphp.sh"
7 "$DEV/installmw.sh"
8 "$DEV/start.sh"