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 35c15398b42939bc7e0f796073a67642d08f6e26..28539df498677f437f49a0e16dd7409dc47f7db6 100644 |
--- a/third_party/WebKit/Source/devtools/front_end/workspace/Workspace.js |
+++ b/third_party/WebKit/Source/devtools/front_end/workspace/Workspace.js |
@@ -116,6 +116,12 @@ Workspace.Project.prototype = { |
setFileContent(uiSourceCode, newContent, callback) {}, |
/** |
+ * @param {!Workspace.UISourceCode} uiSourceCode |
+ * @return {string} |
+ */ |
+ fullDisplayName(uiSourceCode) {}, |
+ |
+ /** |
* @return {boolean} |
*/ |
canRename() {}, |