Updated mediawiki/extensions
Project: mediawiki/extensions/MathSearch  e8afa3ba881e21d4c0e3a03a3912f5bb8d575404

Add batch import scripts for admins

Change-Id: I15ce779f74e01e4fa5d355aad5bfe6222c64e351