Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  1e42200b361a4378bd1b51c68ddc9eeec692901e

Fix styling of "No page with this title" in search

Bug: 63246
Change-Id: I01ab62253dc09aa2737b9bb37d56898a39cea82e