Fatal error: Uncaught Error: Class "MediaWiki\SpecialPage\SpecialPage" not found in /var/www/html/extensions/DiscussionTools/includes/SpecialTopicSubscriptions.php:10 Stack trace: #0 {main} thrown in /var/www/html/extensions/DiscussionTools/includes/SpecialTopicSubscriptions.php on line 10