Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  878bdfc4fa89d8e7f2b0526b9308a7f9e3f7b051

Hygiene: Fix indent

Change-Id: I94f230553ceac9eda5cb7f54d2238a2eacf93bb5