Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  68820e4fa427a610157b63d75bce1ddad19ee4a3

Hygiene: Document VisualEditorOverlay

Change-Id: Ib98fa687ba9e2df24d5f1e2c2a4ccb6894a9daa3