src/vs/workbench/api/common/extHostTypes.ts/WorkspaceEdit/deleteFile
class WorkspaceEdit:	deleteFile(uri: vscode.Uri, options?: { recursive?: boolean, ignoreIfNotExists?: boolean; }, metadata?: vscode.WorkspaceEditEntryMetadata): void {
		this._edits.push({ _type: FileEditType.File, from: uri, to: undefined, options, metadata });
	}