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)
committerJames D. Forrester <jforrester@wikimedia.org>
Thu, 14 Feb 2019 19:29:48 +0000 (11:29 -0800)
commit60a172aaeab5cab2c1929dfe8bb34d09360673af
treef7f7cb04be8200e8b1d0ad6889b4d43672dc27d1
parenteb4e1941851215c84cff99f21cfabec854df2a51
Update required PHP version to 7.0.13

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