Fatal error: Uncaught Error: Class "MediaWiki\Export\DumpFilter" not found in /var/www/html/w/extensions/MathSearch/maintenance/MathMLFilter.php:31 Stack trace: #0 {main} thrown in /var/www/html/w/extensions/MathSearch/maintenance/MathMLFilter.php on line 31