DevTools: "Delete File" in navigator should actually delete a file

third_party/WebKit/Source/devtools/front_end/workspace/Workspace.js

 /*
  * Copyright (C) 2012 Google Inc. All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions are
  * met:
  *
  *     * Redistributions of source code must retain the above copyright
  * notice, this list of conditions and the following disclaimer.
  *     * Redistributions in binary form must reproduce the above
@@ skipping 129 matching lines @@
 
   /**
    * @param {string} path
    * @param {?string} name
    * @param {string} content
    * @param {function(?Workspace.UISourceCode)} callback
    */
   createFile(path, name, content, callback) {},
 
   /**
-   * @param {string} path
+   * @param {!Workspace.UISourceCode} uiSourceCode
    */
-  deleteFile(path) {},
+  deleteFile(uiSourceCode) {},
 
   remove() {},
 
   /**
    * @param {!Workspace.UISourceCode} uiSourceCode
    * @param {string} query
    * @param {boolean} caseSensitive
    * @param {boolean} isRegex
    * @param {function(!Array.<!Common.ContentProvider.SearchMatch>)} callback
    */
@@ skipping 294 matching lines @@
   WorkingCopyCommitted: Symbol('WorkingCopyCommitted'),
   WorkingCopyCommittedByUser: Symbol('WorkingCopyCommittedByUser'),
   ProjectAdded: Symbol('ProjectAdded'),
   ProjectRemoved: Symbol('ProjectRemoved')
 };
 
 /**
  * @type {!Workspace.Workspace}
  */
 Workspace.workspace;