Fatal error: Class 'SearchResultSet' not found in /var/www/html/extensions/SemanticMediaWiki/includes/src/MediaWiki/Search/SearchResultSet.php on line 15