Fatal error: Uncaught Exception: Unable to open file /var/lib/mediawiki/extensions/CodeEditor/extension.json: filemtime(): stat failed for /var/lib/mediawiki/extensions/CodeEditor/extension.json in /var/lib/mediawiki/includes/registration/ExtensionRegistry.php:136 Stack trace: #0 /var/lib/mediawiki/includes/GlobalFunctions.php(52): ExtensionRegistry->queue('/var/lib/mediaw...') #1 /var/lib/mediawiki/LocalSettings.php(143): wfLoadExtension('CodeEditor') #2 /var/lib/mediawiki/includes/Setup.php(124): require_once('/var/lib/mediaw...') #3 /var/lib/mediawiki/includes/WebStart.php(81): require_once('/var/lib/mediaw...') #4 /var/lib/mediawiki/index.php(41): require('/var/lib/mediaw...') #5 {main} thrown in /var/lib/mediawiki/includes/registration/ExtensionRegistry.php on line 136