Bump build/php from `9e0e192` to `714ee4a` #1336

Job	Run time
Code Style checks	1m 11s
PHP 8.1 / Generated Code consistency checks	8s
PHP 8.1 / Integration tests	15s
PHP 8.1 / PHPStan analysis	1m 21s
PHP 8.1 / PHPUnit tests	17s
PHP 8.2 / Generated Code consistency checks	10s
PHP 8.2 / Integration tests	14s
PHP 8.2 / PHPStan analysis	1m 28s
PHP 8.2 / PHPUnit tests	8s
PHP 8.3 / PHPStan analysis	1m 21s
PHP 8.3 / PHPUnit tests	16s
PHP 8.3 / Integration tests	22s
PHP 8.3 / Generated Code consistency checks	16s
	7m 27s

Provide feedback