Fixed bug #68676 (Explicit Double Free)
Merge branch 'master' of https://git.php.net/push/php-src