| 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() {},
|
|
|