Updated mediawiki/extensions
Project: mediawiki/extensions/Popups  a6ad92e9fd6edac881be26311c5c54a20a7ac15b

Disable NavigationPopups (Gadget) if Popups (Extension) is enabled

Bug: 62952
Change-Id: If3757199c280bb0ad54878111dcf926b88778b64