Updated mediawiki/extensions
Project: mediawiki/extensions/Popups  a5b57a40e4b9e73fa48999b23a1f2045c74c3717

Remove `redirects to` text and heading

Bug: 63155
Change-Id: I42fb9cc1a8b26eaf6807243e4e7bdbf0b56dc35c