Remove include "sanity check" to get better error#4474

nikic wants to merge 5 commits intophp:masterphp/php-src:masterfrom

nikic:include-failnikic/php-src:include-failCopy head branch name to clipboard