Fatal error: Uncaught Error: Class 'HtmlFormatter\HtmlFormatter' not found in /home/mapeador/solecov2/w/extensions/TextExtracts/includes/ExtractFormatter.php:13 Stack trace: #0 {main} thrown in /home/mapeador/solecov2/w/extensions/TextExtracts/includes/ExtractFormatter.php on line 13