Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  ef619bcbf4938daccd9ead72c2d18322f7424cbe

Fix jumping bottom bar in editor on Android

Bug: 51067
Change-Id: I184850955a68e73dac93905eff3c02a43a3b79d2