Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  42d80f3e899daef719fa0a779f56ed676e7ae64c

Triple-equal according to coding conventions

Change-Id: Ifea3c7b6dbb72bd538e289f3482f75dafdb70109