[DevTools] Make resource tree model optional

third_party/WebKit/Source/devtools/front_end/bindings/ResourceUtils.js

 /*
  * Copyright (C) 2006, 2007, 2008 Apple Inc.  All rights reserved.
  * Copyright (C) 2007 Matt Lilek (pewtermoose@gmail.com).
  * Copyright (C) 2009 Joseph Pecoraro
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions
  * are met:
  *
  * 1.  Redistributions of source code must retain the above copyright
@@ skipping 16 matching lines @@
  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  */
 
 /**
  * @param {string} url
  * @return {?WebInspector.Resource}
  */
 WebInspector.resourceForURL = function(url)
 {
-    var targets = WebInspector.targetManager.targets();
+    var targets = WebInspector.targetManager.targets(WebInspector.Target.Capability.DOM);
     for (var i = 0; i < targets.length; ++i) {
-        var resource = targets[i].resourceTreeModel.resourceForURL(url);
+        var resource = WebInspector.ResourceTreeModel.fromTarget(targets[i]).resourceForURL(url);
         if (resource)
             return resource;
     }
     return null;
 }
 
 /**
  * @param {function(!WebInspector.Resource)} callback
  */
 WebInspector.forAllResources = function(callback)
 {
-    var targets = WebInspector.targetManager.targets();
+    var targets = WebInspector.targetManager.targets(WebInspector.Target.Capability.DOM);
     for (var i = 0; i < targets.length; ++i)
-        targets[i].resourceTreeModel.forAllResources(callback);
+        WebInspector.ResourceTreeModel.fromTarget(targets[i]).forAllResources(callback);
 }
 
 /**
  * @param {string} url
  * @return {string}
  */
 WebInspector.displayNameForURL = function(url)
 {
     if (!url)
         return "";
@@ skipping 19 matching lines @@
         if (url.startsWith(baseURL))
             return url.substring(index);
     }
 
     if (!parsedURL)
         return url;
 
     var displayName = url.trimURL(parsedURL.host);
     return displayName === "/" ? parsedURL.host + "/" : displayName;
 }