Updated mediawiki/extensions
Project: mediawiki/extensions/Popups  00bde78b00b85ff2aac9f5a6bc80d9b203628117

Add `redirects to` message at the top of the popup

Change-Id: I051e4ed84f216e9c8682138927f6dcb6a407ee57