Fatal error: Uncaught Exception: Unable to open file /var/www/html/extensions/DeleteBatch/extension.json: filemtime(): stat failed for /var/www/html/extensions/DeleteBatch/extension.json in /var/www/html/includes/registration/ExtensionRegistry.php:199 Stack trace: #0 /var/www/html/includes/GlobalFunctions.php(49): ExtensionRegistry->queue('/var/www/html/e...') #1 /var/www/html/LocalSettings.d/LocalSettings.override.php(55): wfLoadExtension('DeleteBatch') #2 /var/www/html/LocalSettings.php(72): include('/var/www/html/L...') #3 /var/www/html/includes/Setup.php(218): require_once('/var/www/html/L...') #4 /var/www/html/includes/WebStart.php(86): require_once('/var/www/html/i...') #5 /var/www/html/index.php(44): require('/var/www/html/i...') #6 {main} thrown in /var/www/html/includes/registration/ExtensionRegistry.php on line 199