Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  123c07ca91bf8a756017541ebffd704c77813aab

Hygiene: Use core mediawiki ui colors where possible

Change-Id: Ifc89cffd6d81308f9a14d70e79c279824f45457f