This MR updates PHP7 on 3.9 to the latest release, fixing some security issues.
See also https://www.php.net/ChangeLog-7.php#PHP_7_2