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

Source/devtools/front_end/Runtime.js

 /*
  * Copyright (C) 2014 Google Inc. All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions are
  * met:
  *
  *     * Redistributions of source code must retain the above copyright
  * notice, this list of conditions and the following disclaimer.
  *     * Redistributions in binary form must reproduce the above
@@ skipping 843 matching lines @@
          * @return {!Object}
          * @this {Runtime.Extension}
          */
         function constructInstance()
         {
             var result = this._module._instance(className);
             if (!result)
                 return Promise.reject("Could not instantiate: " + className);
             return result;
         }
+    },
+
+    /**
+     * @param {string} platform
+     * @return {string}
+     */
+    title: function(platform)
+    {
+        return this._descriptor["title-" + platform] || this._descriptor["title"];
     }
 }
 
 /**
  * @constructor
  */
 Runtime.ExperimentsSupport = function()
 {
     this._supportEnabled = Runtime.queryParam("experiments") !== null;
     this._experiments = [];
@@ skipping 177 matching lines @@
 // This must be constructed after the query parameters have been parsed.
 Runtime.experiments = new Runtime.ExperimentsSupport();
 
 /**
  * @type {?string}
  */
 Runtime._remoteBase = Runtime.queryParam("remoteBase");
 
 /** @type {!Runtime} */
 var runtime;