Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  ed5bfdd152778593c8c50cebe273ec048b6be166

VE: Don't set @grayDark colour for tool titles in disabled widgets

This was overriding the grey colour for tool titles in disabled widgets.

Bug: 72405
Change-Id: I6a771dfe8a545f089e00621e224b293714ceb8de