Updated mediawiki/extensions
Project: mediawiki/extensions/MathSearch  16280854345908c5d3821e295cf7917e7b9f58a8

little fixes to the workload generator

Change-Id: Idc30f308591fc85b2f9e96c48be9dc1cc11e886e