This MR upgraded php to the latest 7.2 release, fixing one CVE
https://www.php.net/ChangeLog-7.php#PHP_7_2