bin/php85
bin/php-config85
bin/phpize85
share/man/man1/php85.1.gz
share/man/man1/php-config85.1.gz
share/man/man1/phpize85.1.gz