adjustements to the changes in Math extension
Merge branch 'master' of ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/MathSearch