[MRE] Please update to latest upstream release 7.0.30 / 7.1.17 / 7.2.5

[Simon Déziel]

Upstream has put out many more microversions addressing security issues and other bug fixes. Here is a list of the CVEs addressed by those:

PHP 7.0.29 / 7.1.16 / 7.2.4 (29 Mar 2018):

* https://bugs.php.net/bug.php?id=75605 / https://cve.mitre.org/cgi-bin/cvename.cgi?name=CVE-2018-10545

PHP 7.0.30 / 7.1.17 / 7.2.5 (26 Apr 2018):

* https://bugs.php.net/bug.php?id=76130 / https://cve.mitre.org/cgi-bin/cvename.cgi?name=CVE-2018-10549
* https://bugs.php.net/bug.php?id=76249 / https://cve.mitre.org/cgi-bin/cvename.cgi?name=CVE-2018-10546
* https://bugs.php.net/bug.php?id=76248 / https://cve.mitre.org/cgi-bin/cvename.cgi?name=CVE-2018-10548
* https://bugs.php.net/76129 / https://cve.mitre.org/cgi-bin/cvename.cgi?name=CVE-2018-10547

Changelog: https://secure.php.net/ChangeLog-7.php

[Christian Ehrhardt  (paelzer)]

Hi Simon, afaics work on this has already been started in 1770184 - marking this Dup.