Merge branch 'php8.1' into php7.4 #780

Job	Run time
build (ubuntu-24.04-arm, linux/arm64)	4m 6s
build (ubuntu-latest, linux/amd64)	3m 54s
merge	17s
	8m 17s

Provide feedback