Index: Source/devtools/front_end/externs.js |
diff --git a/Source/devtools/front_end/externs.js b/Source/devtools/front_end/externs.js |
index af4d6c07e71e5847631f3cd30e0e03de96799cc7..71fa8d222c8716e3deba32e1e7b5fc69892a2aa3 100644 |
--- a/Source/devtools/front_end/externs.js |
+++ b/Source/devtools/front_end/externs.js |
@@ -266,6 +266,7 @@ SourceMapV3.Offset = function() |
} |
// FIXME: remove everything below. |
+var FormatterWorker = {} |
var WebInspector = {} |
WebInspector.queryParamsObject = {} |