Fatal error: Uncaught Error: Class "MediaWiki\Extension\DiscussionTools\SubscriptionStore" not found in /usr/www/otte/public/sphunt1/extensions/DiscussionTools/tests/phpunit/MockSubscriptionStore.php:9 Stack trace: #0 {main} thrown in /usr/www/otte/public/sphunt1/extensions/DiscussionTools/tests/phpunit/MockSubscriptionStore.php on line 9