Are you sure you want to delete the file InstallablePhpExtensionValue.php?
InstallablePhpExtensionValue.php