Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  57f556f267caf88203656ddf2e3dedfa22432f46

Don't use a too light gray for top-bar

Use @colorGray14 instead of 15 to make much clearer, that the top-bar
is different content element.

Bug: 72223
Change-Id: I44f8257746d8258a5ed3c74c30f88f68ddb1d190