php-extension-check/.gitignore