Merge branch 'develop' into patch-8 #9

Job	Run time
pre-commit / pre-commit	2m 7s
phpstan / php-stan (8.2)	7m 31s
phan / Run phan	3m 47s
windows-ci / win-test (windows-latest, 7.4)	11m 46s
	25m 11s

Provide feedback