FIX Use Updated names of top page extensions #622

Job	Run time
ci / Generate matrix	16s
ci / Context	1s
ci / Check governance	0s
ci / 8.3 prf-low mariadb phpunit all	4m 47s
ci / 8.3 mysql80 phpunit all	7m 25s
ci / 8.3 mysql80 phplinting	2m 10s
ci / 8.3 mysql80 endtoend root job1	5m 55s
ci / 8.3 mysql80 endtoend root job1	6m 41s
ci / 8.3 mysql80 endtoend root job2	8m 15s
ci / 8.3 mysql80 endtoend root job2	8m 30s
ci / 8.3 mysql80 js	4m 40s
ci / 8.3 mysql80 doclinting	2m 44s
ci / Dispatch tag patch release	0s
	51m 24s

Provide feedback