Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  641ff5c35da45147e6bcb442ce80f1dd400f108c

Hygiene: Code styling fixes

Change-Id: I67e46bc0a90026754a79cd96ada70d440d4b4e17