DevTools: introduce beautiful checkmarks in navigator and editor tabs

third_party/WebKit/Source/devtools/BUILD.gn

 # Copyright 2014 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.
 
 import("//build/config/features.gni")
 import("//third_party/WebKit/public/public_features.gni")
 import("//third_party/WebKit/Source/core/core.gni")
 
 devtools_embedder_scripts = [
   "front_end/devtools_compatibility.js",
@@ skipping 160 matching lines @@
   "front_end/bindings/ResourceScriptMapping.js",
   "front_end/bindings/ResourceUtils.js",
   "front_end/bindings/SASSSourceMapping.js",
   "front_end/bindings/StylesSourceMapping.js",
   "front_end/bindings/TempFile.js",
 ]
 devtools_persistence_js_files = [
   "front_end/persistence/DefaultMapping.js",
   "front_end/persistence/Automapping.js",
   "front_end/persistence/Persistence.js",
+  "front_end/persistence/PersistenceUtils.js",
 ]
 devtools_platform_js_files = [
   "front_end/platform/DOMExtension.js",
   "front_end/platform/utilities.js",
 ]
 devtools_toolbox_bootstrap_js_files =
     [ "front_end/toolbox_bootstrap/Toolbox.js" ]
 devtools_emulation_js_files = [
   "front_end/emulation/devicesSettingsTab.css",
   "front_end/emulation/deviceModeToolbar.css",
@@ skipping 957 matching lines @@
     deps = [
       ":frontend_protocol_sources",
       ":supported_css_properties",
     ]
     sources = generated_scripts
     outputs = [
       "$resources_out_debug_dir/{{source_file_part}}",
     ]
   }
 }