Updated mediawiki/extensions
Project: mediawiki/extensions/MathSearch  12997b1d8f399bff0452469a8315ed1049954cd1

Improvments in Update script and size calculations for different output formats

Change-Id: Ib61e409ced6b99a4b36c81af5da9c547e151ec41