CI: enable phpdoc_to_property_type for highest PHP #1680

Job	Run time
Entrypoint low-PHP compat	10s
PHP 7.4 Fixer with lowest deps	50s
PHP 7.4 tests with lowest deps	3m 12s
PHP 8.0 Fixer	50s
PHP 8.0 tests	2m 58s
PHP 8.1 Fixer with Symfony ^6	50s
PHP 8.1 tests with Symfony ^6	3m 40s
PHP 8.2 Fixer	52s
PHP 8.2 tests	3m 36s
PHP 8.3 Fixer	52s
PHP 8.3 tests	3m 22s
PHP 8.3 Fixer with migration rules	42s
PHP 8.3 tests with migration rules	1m 20s
PHP 8.3 Fixer with Symfony ^7	47s
PHP 8.3 tests with Symfony ^7	3m 22s
PHP 8.3 code coverage	4m 45s
PHP 8.3 mutation tests	26s
PHP 8.3 Fixer on Windows	1m 40s
PHP 8.3 tests on Windows	2m 16s
PHP 8.3 Fixer on macOS	1m 40s
PHP 8.3 tests on macOS	2m 31s
PHP 8.4 Fixer	51s
PHP 8.4 tests	3m 36s
Deployment checks	0s
	45m 8s

Provide feedback