Chromium Code Reviews| 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 = {} |