Updated mediawiki/extensions
Project: mediawiki/extensions/MathSearch  8f71072688820f8c01c6fa9ed482380a749a07f5