Index: third_party/WebKit/Source/devtools/front_end/workspace/Workspace.js |
diff --git a/third_party/WebKit/Source/devtools/front_end/workspace/Workspace.js b/third_party/WebKit/Source/devtools/front_end/workspace/Workspace.js |
index 1b9feb80f64b7ce08c372d1d7ac2f0ade764d847..04d31ea387b058852dc4dca4c2fa47385547c356 100644 |
--- a/third_party/WebKit/Source/devtools/front_end/workspace/Workspace.js |
+++ b/third_party/WebKit/Source/devtools/front_end/workspace/Workspace.js |
@@ -122,6 +122,12 @@ Workspace.Project.prototype = { |
fullDisplayName(uiSourceCode) {}, |
/** |
+ * @param {!Workspace.UISourceCode} uiSourceCode |
+ * @return {string} |
+ */ |
+ mimeType(uiSourceCode) {}, |
+ |
+ /** |
* @return {boolean} |
*/ |
canRename() {}, |