bin/php72
bin/php-config72
bin/phpize72
share/man/man1/php72.1.gz
share/man/man1/php-config72.1.gz
share/man/man1/phpize72.1.gz