Index: third_party/WebKit/Source/devtools/front_end/formatter_worker.json |
diff --git a/third_party/WebKit/Source/devtools/front_end/formatter_worker.json b/third_party/WebKit/Source/devtools/front_end/formatter_worker.json |
index a9fd16559b88f477726a9362fec7d4db647e0302..46574ed775b7904622a190f9132deeab00ffe4eb 100644 |
--- a/third_party/WebKit/Source/devtools/front_end/formatter_worker.json |
+++ b/third_party/WebKit/Source/devtools/front_end/formatter_worker.json |
@@ -1,5 +1,6 @@ |
{ |
"modules": [ |
+ { "name": "platform", "type": "autostart" }, |
{ "name": "formatter_worker", "type": "autostart" }, |
{ "name": "gonzales", "type": "remote" } |
], |