DevTools: render product badges behind the setting.

third_party/WebKit/Source/devtools/front_end/product_registry/ProductRegistry.js

 // Copyright 2017 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
+
 /**
  * @return {!Promise<!ProductRegistry.Registry>}
  */
 ProductRegistry.instance = function() {
   return self.runtime.extension(ProductRegistry.Registry).instance();
 };
 
 /**
  * @interface
  */
 ProductRegistry.Registry = function() {};
 
 ProductRegistry.Registry.prototype = {
+

[dgozman, 2017/05/12 23:23:56]

nit: extra empty lines

   /**
    * @param {!Common.ParsedURL} parsedUrl
    * @return {?string}
    */
   nameForUrl: function(parsedUrl) {},
 
   /**
    * @param {!Common.ParsedURL} parsedUrl
    * @return {?ProductRegistry.Registry.ProductEntry}
    */
   entryForUrl: function(parsedUrl) {},
 
   /**
    * @param {!Common.ParsedURL} parsedUrl
    * @return {?number}
    */
   typeForUrl: function(parsedUrl) {}
 };
 
 /** @typedef {!{name: string, type: ?number}} */
 ProductRegistry.Registry.ProductEntry;