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

Source/devtools/front_end/elements/module.json

Index: Source/devtools/front_end/elements/module.json
diff --git a/Source/devtools/front_end/elements/module.json b/Source/devtools/front_end/elements/module.json
index d8ffe019931c456df2f40a8e32572aeb0836180c..d1024e16c9e7b5e5f7c90d438943b5f3dd78ca4c 100644
--- a/Source/devtools/front_end/elements/module.json
+++ b/Source/devtools/front_end/elements/module.json
@@ -23,11 +23,11 @@
             "className": "WebInspector.ElementsPanel.DOMNodeRevealer"
         },
         {
-            "type": "ui-setting",
-            "section": "Elements",
+            "type": "setting",
+            "category": "Elements",
             "title": "Color format:",
             "settingName": "colorFormat",
-            "settingType": "select",
+            "settingType": "enum",
             "options": [
                 ["As authored", "original"],
                 ["HEX: #DAC0DE", "hex", true],
@@ -36,32 +36,32 @@
             ]
         },
         {
-            "type": "ui-setting",
-            "section": "Elements",
+            "type": "setting",
+            "category": "Elements",
             "title": "Show user agent shadow DOM",
             "settingName": "showUAShadowDOM",
-            "settingType": "checkbox"
+            "settingType": "boolean"
         },
         {
-            "type": "ui-setting",
-            "section": "Elements",
+            "type": "setting",
+            "category": "Elements",
             "title": "Word wrap",
             "settingName": "domWordWrap",
-            "settingType": "checkbox"
+            "settingType": "boolean"
         },
         {
-            "type": "ui-setting",
-            "section": "Elements",
+            "type": "setting",
+            "category": "Elements",
             "title": "Show rulers",
             "settingName": "showMetricsRulers",
-            "settingType": "checkbox"
+            "settingType": "boolean"
         },
         {
-            "type": "ui-setting",
-            "section": "Elements",
+            "type": "setting",
+            "category": "Elements",
             "title": "Highlight DOM updates",
             "settingName": "highlightDOMUpdates",
-            "settingType": "checkbox"
+            "settingType": "boolean"
         }
     ],
     "dependencies": [