# php-extension-check