Merge branch 'develop' into release #186

Job	Run time
Login to GitHub Container Registry	3s
Linux, PHP v8.0, gcov, JIT	42s
Linux, PHP v8.0, gcov	42s
Linux, PHP v8.0, release, JIT	32s
Linux, PHP v8.0, release	31s
Linux, PHP v8.1, gcov, JIT	43s
Linux, PHP v8.1, gcov	42s
Linux, PHP v8.1, release, JIT	36s
Linux, PHP v8.0, gcov, opcache	48s
Linux, PHP v8.1, release	32s
Linux, PHP v8.2, gcov, JIT	40s
Linux, PHP v8.2, gcov	45s
Linux, PHP v8.0, release, opcache	35s
Linux, PHP v8.2, release	33s
Linux, PHP v8.1, gcov, opcache	41s
Linux, PHP v8.2, release, JIT	37s
Linux, PHP v8.3, gcov	46s
Linux, PHP v8.1, release, opcache	32s
Linux, PHP v8.3, gcov, JIT	41s
Linux, PHP v8.2, gcov, opcache	45s
Linux, PHP v8.3, release	37s
Linux, PHP v8.3, release, JIT	32s
Linux, PHP v8.2, release, opcache	32s
Linux, PHP v8.3, gcov, opcache	41s
Linux, PHP v8.3, release, opcache	33s
finish	4s
	15m 25s

Provide feedback