Updated mediawiki/extensions
Project: mediawiki/extensions/MathSearch  93d465fa2f5c7a6d2f1be815df548d0ddead9c4d

Use more intuitive names

Update format for math math index

Change-Id: Id460b1d80c916f06c5286dfb8e57ec9580a15161