Updated mediawiki/extensions
Project: mediawiki/extensions/MathSearch  f01f314349e9d6c9b992ef3d4b5cb6775ad05300

Add user feedback

Change-Id: I74fc3e07fc0e3efc4552fbb84e304721a15f6047