DevTools: migrate from ui-setting to settings extension point.

Source/devtools/front_end/console/module.json

Index: Source/devtools/front_end/console/module.json
diff --git a/Source/devtools/front_end/console/module.json b/Source/devtools/front_end/console/module.json
index 7861c32a8caf8401dd7d7c3071c5c7b973fe6df2..3a61bdc15205008df11a8a1d3d350f44bb4e1852 100644
--- a/Source/devtools/front_end/console/module.json
+++ b/Source/devtools/front_end/console/module.json
@@ -30,32 +30,32 @@
             ]
         },
         {
-            "type": "ui-setting",
-            "section": "Console",
+            "type": "setting",
+            "category": "Console",
             "title": "Hide network messages",
             "settingName": "hideNetworkMessages",
-            "settingType": "checkbox"
+            "settingType": "boolean"
         },
         {
-            "type": "ui-setting",
-            "section": "Console",
+            "type": "setting",
+            "category": "Console",
             "title": "Log XMLHttpRequests",
             "settingName": "monitoringXHREnabled",
-            "settingType": "checkbox"
+            "settingType": "boolean"
         },
         {
-            "type": "ui-setting",
-            "section": "Console",
+            "type": "setting",
+            "category": "Console",
             "title": "Preserve log upon navigation",
             "settingName": "preserveConsoleLog",
-            "settingType": "checkbox"
+            "settingType": "boolean"
         },
         {
-            "type": "ui-setting",
-            "section": "Console",
+            "type": "setting",
+            "category": "Console",
             "title": "Show timestamps",
             "settingName": "consoleTimestampsEnabled",
-            "settingType": "checkbox"
+            "settingType": "boolean"
         }
     ],
     "dependencies": [