Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  454b527a9fed608c3e19f2258c49efeab5f72487

Fix format check

Change-Id: Ia8fd129a604d1672641ad3e3d1e1308d5bbd2bc4

Profiling

Change-Id: I6d1a96b44cdc1f02425a5ebbc9729cf735ac1ae3