Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  f3c469cebd6191a9b3208aa983692e8f08083797

Use same options for VisualEditor and Editor overlays

Make this more future proof.

Bug: 65587
Change-Id: Ibf37aa443e2961e37050f45ac377e4580dd54892