FIX Use Updated names of top page extensions #621

Job	Run time
ci / Generate matrix	50s
ci / Context	1s
ci / Check governance	0s
ci / 8.3 prf-low mariadb phpunit all	4m 31s
ci / 8.3 mysql80 phpunit all	7m 17s
ci / 8.3 mysql80 phplinting	2m 6s
ci / 8.3 mysql80 endtoend root job1	5m 49s
ci / 8.3 mysql80 endtoend root job1	6m 2s
ci / 8.3 mysql80 endtoend root job2	8m 7s
ci / 8.3 mysql80 endtoend root job2	8m 39s
ci / 8.3 mysql80 js	4m 39s
ci / 8.3 mysql80 doclinting	2m 45s
ci / Dispatch tag patch release	0s
	50m 46s

Provide feedback