Implement extension registration from an extension.json file
[mediawiki.git] / maintenance / dev / installmw.sh
blob9ae3c593deb578de74621ca33e02ba3aa3063e85
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/includes/require-php.sh"
8 set -e
10 PORT=4881
12 cd "$DEV/../../"; # $IP
14 mkdir -p "$DEV/data"
15 "$PHP" maintenance/install.php --server="http://localhost:$PORT" --scriptpath="" --dbtype=sqlite --dbpath="$DEV/data" --pass=admin "Trunk Test" "$USER"
16 echo ""
17 echo "Development wiki created with admin user $USER and password 'admin'."
18 echo ""