Warning: require(/var/www/html/w/extensions/CodeMirror/.phan/../vendor/mediawiki/mediawiki-phan-config/src/config.php): Failed to open stream: No such file or directory in /var/www/html/w/extensions/CodeMirror/.phan/config.php on line 3

Fatal error: Uncaught Error: Failed opening required '/var/www/html/w/extensions/CodeMirror/.phan/../vendor/mediawiki/mediawiki-phan-config/src/config.php' (include_path='.:/usr/local/lib/php') in /var/www/html/w/extensions/CodeMirror/.phan/config.php:3 Stack trace: #0 {main} thrown in /var/www/html/w/extensions/CodeMirror/.phan/config.php on line 3