Fatal error: Uncaught Error: Class "MediaWiki\DomainEvent\DomainEventIngress" not found in /var/www/html/w/extensions/CodeMirror/includes/EventIngress.php:12 Stack trace: #0 {main} thrown in /var/www/html/w/extensions/CodeMirror/includes/EventIngress.php on line 12