Merge branch 'php8.1' into php8.4 #785

Job	Run time
build (ubuntu-latest, linux/amd64)	3m 18s
build (ubuntu-24.04-arm, linux/arm64)	4m 44s
merge	22s
	8m 24s

Provide feedback