Merge branch '4' into 5.0 #863

Job	Run time
ci / Generate matrix	15s
ci / Context	4s
ci / Check governance	2s
ci / 8.3 prf-low mariadb phpunit all	3m 10s
ci / 8.4 mysql84 endtoend root job1	5m 26s
ci / 8.3 mysql80 endtoend root job2	13m 16s
ci / 8.4 mysql84 phpunit all	3m 37s
ci / 8.3 mysql80 phpunit all	4m 0s
ci / 8.3 mysql80 phplinting	2m 2s
ci / 8.3 mysql80 js	5m 34s
ci / 8.3 mysql80 endtoend root job1	6m 20s
ci / 8.4 mysql84 endtoend root job2	9m 47s
ci / 8.3 mysql80 doclinting	2m 44s
ci / Dispatch tag patch release	3s
	56m 20s

Provide feedback