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