| Index: third_party/WebKit/Source/devtools/front_end/externs.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/externs.js b/third_party/WebKit/Source/devtools/front_end/externs.js
|
| index 7906eca063b7b73475d2adcc55d24ac2888abf60..6bed23fafd439526ed6dc68479e8d7c0ff50b515 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/externs.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/externs.js
|
| @@ -203,12 +203,6 @@ DevToolsHost.ContextMenuDescriptor;
|
| DevToolsHost.zoomFactor = function() { }
|
|
|
| /**
|
| - * @param {number} length
|
| - * @return {number}
|
| - */
|
| -DevToolsHost.convertLengthForEmbedder = function(length) { }
|
| -
|
| -/**
|
| * @param {string} origin
|
| * @param {string} script
|
| */
|
|
|