DevTools: [Persistence] introduce badged icons instead of checkmarks

third_party/WebKit/Source/devtools/front_end/ui/TabbedPane.js

Index: third_party/WebKit/Source/devtools/front_end/ui/TabbedPane.js
diff --git a/third_party/WebKit/Source/devtools/front_end/ui/TabbedPane.js b/third_party/WebKit/Source/devtools/front_end/ui/TabbedPane.js
index e4b6ebaf3e12758e8d74d8acb49e02b1ddadcbf5..e0b0cb2f0b78f71187a7464071b626daa47318b9 100644
--- a/third_party/WebKit/Source/devtools/front_end/ui/TabbedPane.js
+++ b/third_party/WebKit/Source/devtools/front_end/ui/TabbedPane.js
@@ -349,7 +349,7 @@ UI.TabbedPane = class extends UI.VBox {
 
   /**
    * @param {string} id
-   * @param {?UI.Icon} icon
+   * @param {?Element} icon
    */
   setTabIcon(id, icon) {
     var tab = this._tabsById.get(id);
@@ -903,7 +903,7 @@ UI.TabbedPaneTab = class {
   }
 
   /**
-   * @param {?UI.Icon} icon
+   * @param {?Element} icon
    */
   _setIcon(icon) {
     this._icon = icon;