| Index: third_party/WebKit/Source/devtools/front_end/common/module.json
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/common/module.json b/third_party/WebKit/Source/devtools/front_end/common/module.json
|
| index be98e17f02741a1cdd209964af5ac97cfb1d75e9..3acb837bb4176384dcdaf1af9bc252c8ffcb326c 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/common/module.json
|
| +++ b/third_party/WebKit/Source/devtools/front_end/common/module.json
|
| @@ -25,6 +25,11 @@
|
| "Throttler.js",
|
| "UIString.js",
|
| "ModuleExtensionInterfaces.js",
|
| - "FormatterWorkerPool.js"
|
| + "FormatterWorkerPool.js",
|
| + "BrowserVersionInfo.js",
|
| + "../CurrentBrowserVersion.js"
|
| + ],
|
| + "skip_compilation": [
|
| + "../CurrentBrowserVersion.js"
|
| ]
|
| }
|
|
|