Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  71e001b85de4d73557b12a27e04a8989e757d20a

VisualEditorOverlay: Update for Idc299e23 in OOUI

Quote, "We may want to move these to an oojs-ui theme at some point".
That would indeed help. I had no idea there are styles overriding this here,
otherwise I would have submitted a fix for the breaking change.

Bug: T85025
Change-Id: Ic9a86a3342034c538933cda8b20f0dad62c38d42