Fix for Issue #20792#20793

sharadraju wants to merge 2 commits intophp:masterphp/php-src:masterfrom

sharadraju:mastersharadraju/php-src:masterCopy head branch name to clipboard