| 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" },
|
|
|