Merge branch 'php8.1' into php8.2 #783

Job	Run time
build (ubuntu-24.04-arm, linux/arm64)	4m 59s
build (ubuntu-latest, linux/amd64)	3m 8s
merge	19s
	8m 26s

Provide feedback