[Fri Dec 04 10:20:34.848410 2020] [php7:error] [pid 23094] [client 93.45.70.146:42863] PHP Fatal error: Uncaught Exception: Unable to open file /home/www-data/informazioni.wiki/wiki/www/extensions/VisualEditor/extension.json: filemtime(): stat failed for /home/www-data/informazioni.wiki/wiki/www/extensions/VisualEditor/extension.json in /usr/share/mediawiki/includes/registration/ExtensionRegistry.php:177\nStack trace:\n#0 /usr/share/mediawiki/includes/GlobalFunctions.php(51): ExtensionRegistry->queue('/home/www-data/...')\n#1 /home/www-data/informazioni.wiki/wiki/www/LocalSettings.php(77): wfLoadExtension('VisualEditor')\n#2 /usr/share/mediawiki/includes/Setup.php(143): require_once('/home/www-data/...')\n#3 /usr/share/mediawiki/includes/WebStart.php(89): require_once('/usr/share/medi...')\n#4 /usr/share/mediawiki/index.php(44): require('/usr/share/medi...')\n#5 {main}\n thrown in /usr/share/mediawiki/includes/registration/ExtensionRegistry.php on line 177
[Fri Dec 04 10:20:34.848781 2020] [php7:error] [pid 23094] [client 93.45.70.146:42863] PHP Fatal error: Uncaught Error: Class 'WebRequest' not found in /usr/share/mediawiki/includes/HeaderCallback.php:63\nStack trace:\n#0 [internal function]: MediaWiki\\HeaderCallback::callback()\n#1 {main}\n thrown in /usr/share/mediawiki/includes/HeaderCallback.php on line 63