Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  5da302153d5836a71ae3333f22b4fe52db1476d4

Profiling

Change-Id: I6a5766fd181a31e41ff49d0c9da0933445366486