Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  dab3540d37382f448de03c77d091456f5ae5ac6f

Fix OverlayManager#replaceCurrent

Add a test for it (and promise myself not to be lazy and do TDD next
time when I have a gut feeling things might be trickier than they seem).
In the process refactor the code a bit (mostly renaming of some vars to
make their meaning more obvious).

Bug: 62907
Change-Id: I68ca90cb2633634064a5a953f8b72cf141d0e06e