Updated mediawiki/extensions
Project: mediawiki/extensions/MathSearch  92cbb6d39ecfc7b8392040a350cfd0ebff73dcef

Failsave method for highlighting

Change-Id: I430a7a1b7a325b5ede5e814d370fcc3171d048f9