Update required PHP version to 7.0.13
authorJames D. Forrester <jforrester@wikimedia.org>
Thu, 14 Feb 2019 19:29:48 +0000 (11:29 -0800)
committerUmherirrender <umherirrender_de.wp@web.de>
Sun, 17 Feb 2019 18:18:37 +0000 (18:18 +0000)
commit2c6f3a503c2d872686da7cbba1d372b3e527ba53
tree411c444c1adf051f13d40e1abd34c9596e6a0803
parent25d4f7ecfaaf0eacbef9666c62d0152bbf27db2b
Update required PHP version to 7.0.13

Bug: T209423
Change-Id: I66e563adb062bc132a1092d78bfd06e2210f382e
RELEASE-NOTES-1.31
includes/PHPVersionCheck.php