Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  d137e2745e7b52ccc2530ed83019a33f97492071

Consolidate how overlays are hidden

Get rid of "hide-button" event. Don't require emitting anything after
using hide() in overlays (OverlayManager will now figure out what to do
by itself).

Change-Id: Icfa58258213c9ace5da18adca4d8f5ec0cecc371