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

third_party/WebKit/Source/devtools/front_end/bindings/ContentProviderBasedProject.js

 /*
  * Copyright (C) 2013 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 144 matching lines @@
    * @param {string} path
    * @param {?string} name
    * @param {string} content
    * @param {function(?Workspace.UISourceCode)} callback
    */
   createFile(path, name, content, callback) {
   }
 
   /**
    * @override
-   * @param {string} path
+   * @param {!Workspace.UISourceCode} uiSourceCode
    */
-  deleteFile(path) {
+  deleteFile(uiSourceCode) {
   }
 
   /**
    * @override
    */
   remove() {
   }
 
   /**
    * @param {string} path
@@ skipping 135 matching lines @@
     this.workspace().addProject(this);
   }
 
   dispose() {
     this._contentProviders = {};
     this.removeProject();
   }
 };
 
 Bindings.ContentProviderBasedProject._metadata = Symbol('ContentProviderBasedProject.Metadata');