Fatal error: Uncaught Error: Class "MediaWiki\SpecialPage\RedirectSpecialPage" not found in C:\xampp\htdocs\extensions\DiscussionTools\includes\SpecialGoToComment.php:9 Stack trace: #0 {main} thrown in C:\xampp\htdocs\extensions\DiscussionTools\includes\SpecialGoToComment.php on line 9