Fatal error: OOUI\Exception: OOUI\Theme::singleton was called with no singleton theme set. in /var/www/core/vendor/oojs/oojs-ui/php/Theme.php:31 Stack trace: #0 /var/www/core/vendor/oojs/oojs-ui/php/Element.php(259): OOUI\Theme::singleton() #1 /var/www/core/vendor/oojs/oojs-ui/php/Tag.php(510): OOUI\Element->toString() #2 /var/www/core/extensions/VisualEditor/includes/Hooks.php(252): OOUI\Tag->__toString() #3 /var/www/core/includes/HookContainer/HookContainer.php(159): MediaWiki\Extension\VisualEditor\Hooks->onTextSlotDiffRendererTablePrefix() #4 /var/www/core/includes/HookContainer/HookRunner.php(1338): MediaWiki\HookContainer\HookContainer->run() #5 /var/www/core/includes/diff/TextSlotDiffRenderer.php(278): MediaWiki\HookContainer\HookRunner->onTextSlotDiffRendererTablePrefix() #6 /var/www/core/includes/diff/DifferenceEngine.php(1048): TextSlotDiffRenderer->getTablePrefix() #7 /var/www/core/includes/diff/DifferenceEngine.php(1028): DifferenceEngine->showTablePrefixes() #8 /var/www/core/includes/page/Article.php(1004): D in /var/www/core/vendor/oojs/oojs-ui/php/Tag.php on line 512