Index: Source/devtools/front_end/devtools.json |
diff --git a/Source/devtools/front_end/devtools.json b/Source/devtools/front_end/devtools.json |
index c979414985d8957987e58f2ca3127f2ce9c17e67..9edb98bbf8837d539be9abe83cfe87137ebe288a 100644 |
--- a/Source/devtools/front_end/devtools.json |
+++ b/Source/devtools/front_end/devtools.json |
@@ -1,4 +1,5 @@ |
[ |
+ { "name": "platform", "type": "autostart" }, |
{ "name": "main", "type": "autostart" }, |
{ "name": "components", "type": "autostart" }, |
{ "name": "ui", "type": "autostart" }, |