diff options
Diffstat (limited to 'third_party/WebKit/Source/devtools/front_end/externs.js')
| -rw-r--r-- | third_party/WebKit/Source/devtools/front_end/externs.js | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/third_party/WebKit/Source/devtools/front_end/externs.js b/third_party/WebKit/Source/devtools/front_end/externs.js index 20df2fc..3ba37ff 100644 --- a/third_party/WebKit/Source/devtools/front_end/externs.js +++ b/third_party/WebKit/Source/devtools/front_end/externs.js @@ -213,12 +213,6 @@ DevToolsHost.ContextMenuDescriptor; DevToolsHost.zoomFactor = function() { } /** - * @param {number} length - * @return {number} - */ -DevToolsHost.convertLengthForEmbedder = function(length) { } - -/** * @param {string} origin * @param {string} script */ |