fe16f25
Update to 7.2.15 - http://www.php.net/releases/7_2_15.php (cherry picked from commit 51a28a3433abd6ec0c1b8f1d8a9cf2f5e2b10fcd) (cherry picked from commit 9ee90b3f278948e28bb424e9f843815e9e7859a7)