| Index: third_party/WebKit/Source/devtools/front_end/formatter_worker.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/formatter_worker.js b/third_party/WebKit/Source/devtools/front_end/formatter_worker.js
|
| index d1bb28fded1359e0d112735acd52411272db37f7..644ad39258f82417fb66ce5e5ae37b06038ae06f 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/formatter_worker.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/formatter_worker.js
|
| @@ -1,8 +1,7 @@
|
| // Copyright 2016 The Chromium Authors. All rights reserved.
|
| // Use of this source code is governed by a BSD-style license that can be
|
| // found in the LICENSE file.
|
| -
|
| // Release build has Runtime.js bundled.
|
| if (!self.Runtime)
|
| - self.importScripts("Runtime.js");
|
| -Runtime.startWorker("formatter_worker");
|
| + self.importScripts('Runtime.js');
|
| +Runtime.startWorker('formatter_worker');
|
|
|