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 |
*/ |