From 1269116f7ce30d8d8ffd9c66d21510b77bd37cd7 Mon Sep 17 00:00:00 2001 From: Leszek Manicki Date: Tue, 13 Mar 2018 13:39:14 +0100 Subject: [PATCH] Correct PHP version in maintenance/dev/README Change-Id: I1d52f60c20317efb3c36763fd47be09dc6dd57dd --- maintenance/dev/README | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/maintenance/dev/README b/maintenance/dev/README index eb09fb2a09..a00f52bb48 100644 --- a/maintenance/dev/README +++ b/maintenance/dev/README @@ -2,6 +2,6 @@ maintenance/dev/ scripts can help quickly setup a local MediaWiki for developmen Wikis setup in this way are NOT meant to be publicly available. They use a development database not acceptable for use in production. Place a sqlite database in an unsafe location a real wiki should never place it in. And use predictable default logins for the initial administrator user. -Running maintenance/dev/install.sh will download and install a local copy of php 5.4, install a sqlite powered instance of MW for development, and then start up a local webserver to view the wiki. +Running maintenance/dev/install.sh will download and install a local copy of php 5.6, install a sqlite powered instance of MW for development, and then start up a local webserver to view the wiki. After installation you can bring the webserver back up at any time you want with maintenance/dev/start.sh -- 2.20.1