Updated mediawiki/extensions
Project: mediawiki/extensions/Gadgets  f9ab3ed5225f6034282dc11ab163433a11643b66

Profiling

Change-Id: I4988e95e953f55bc96779c4fcc7d94553d5b3b0c