Updated mediawiki/extensions
Project: mediawiki/extensions/MathSearch  47816d495320bf9f9fe8d57a342b8c351c2d0e16

switch to cirrus search

Change-Id: Ib6c0c8f238d343edbc4ea87d5b9694cd07c9f0ec