PHP 7.2 Updated

Updated to PHP 7.2.15 platform-wide. For more information, see http://php.net/ChangeLog-7.php#7.2.15.