Fatal error: Uncaught Error: Class 'HtmlFormatter\HtmlFormatter' not found in /var/www/html/wiki_2023/extensions/TextExtracts/includes/ExtractFormatter.php:13 Stack trace: #0 {main} thrown in /var/www/html/wiki_2023/extensions/TextExtracts/includes/ExtractFormatter.php on line 13