Updated mediawiki/extensions
Project: mediawiki/extensions/wikihiero  b7723dac34b9e4a197248fe40c19886b6ade8fca

Profiling

Change-Id: I3f05bea27776aaf86b279519b974cfd962208c7f