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

Improvements to CalculateDistances

new option -9 to ingore all pages with 9
or less formulae

Change-Id: Ic7bd3dcd2e19f269e281d5c11a2eb83c4f8772ae