e695597
Update to 7.2.10 - http://www.php.net/releases/7_2_10.php (cherry picked from commit af8e1ad606645c27fbe45cde46e5d16c2966383e)