Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  80a6e77d43d5b4fcab87f98886f6e829d2e9fdfa

Hygiene: Using #/ for MoreInfo overlay per mobile coding conventions

Also updating documentation in OverlayManager

Change-Id: Id8d0674f9f64ac9ef858ad66a1a714908a751136