Fatal error: Uncaught Error: Class 'SearchDatabase' not found in /home/mapeador/solecov2/w/extensions/SemanticMediaWiki/tests/phpunit/Fixtures/MediaWiki/Search/DummySearchDatabase.php:13 Stack trace: #0 {main} thrown in /home/mapeador/solecov2/w/extensions/SemanticMediaWiki/tests/phpunit/Fixtures/MediaWiki/Search/DummySearchDatabase.php on line 13