Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  18739d11343577469b59bc9cb58ce3ef18724207

More documentation for OverlayManager

Change-Id: I8254f9d5a63ae3551451ac4ee5a6a898eaf19af1