Bump build/php from `a51259d` to `ef7ccf8` #10005

Job	Run time
Code Style checks	30s
ShellCheck	4s
PHP 8.1 / Integration tests	21s
PHP 8.1 / Generated Code consistency checks	7s
PHP 8.1 / PHPStan analysis	1m 28s
PHP 8.1 / PHPUnit tests	22s
PHP 8.2 / Generated Code consistency checks	11s
PHP 8.2 / Integration tests	14s
PHP 8.2 / PHPStan analysis	1m 26s
PHP 8.2 / PHPUnit tests	13s
PHP 8.3 / Generated Code consistency checks	13s
PHP 8.3 / Integration tests	14s
PHP 8.3 / PHPStan analysis	1m 26s
PHP 8.3 / PHPUnit tests	9s
	6m 58s

Provide feedback