MediaWiki 1.30.2

[autoinstallsdev/mediawiki.git] / maintenance / dev / install.sh

diff --git a/maintenance/dev/install.sh b/maintenance/dev/install.sh
new file mode 100755 (executable)
index 0000000..2219894
--- /dev/null
+++ b/maintenance/dev/install.sh
@@ -0,0 +1,8 @@
+#!/bin/bash
+
+if [ "x$BASH_SOURCE" == "x" ]; then echo '$BASH_SOURCE not set'; exit 1; fi
+DEV=$(cd -P "$(dirname "${BASH_SOURCE[0]}" )" && pwd)
+
+"$DEV/installphp.sh"
+"$DEV/installmw.sh"
+"$DEV/start.sh"