Updated mediawiki/extensions
Project: mediawiki/extensions/MathSearch  315dc27b998a6254eb016bfc3073fa61a64882eb

Fix last commit
add MathDump.php file

Change-Id: If13c029f7843daa61c7a2a5f031802c97836ca5c