Delete ExtensionManager.php