Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  a1cf5e06dde69ca2f55935db033fdcbc2c142fdd

Hygiene: Adding documentation and prettifying some code in EditorOverlay

Change-Id: Ib9c15a3621167eba162f95abc334c305455601ec