DevTools: temporary fix for bug 23260

webkit/glue/devtools/js/devtools.js

 // Copyright (c) 2009 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.
 
 /**
  * @fileoverview Tools is a main class that wires all components of the
  * DevTools frontend together. It is also responsible for overriding existing
  * WebInspector functionality while it is getting upstreamed into WebCore.
  */
 goog.provide('devtools.Tools');
@@ skipping 392 matching lines @@
 var orig = WebInspector.ConsoleMessage.prototype.setMessageBody;
 WebInspector.ConsoleMessage.prototype.setMessageBody = function(args) {
   for (var i = 0; i < args.length; ++i) {
     if (typeof args[i] == "string") {
       args[i] = WebInspector.ObjectProxy.wrapPrimitiveValue(args[i]);
     }
   }
   orig.call(this, args);
 };
 })();
+
+// Temporary fix for http://crbug/23260.
+(function() {
+var orig = WebInspector.ResourcesPanel.prototype._createResourceView;
+WebInspector.ResourcesPanel.prototype._createResourceView = function(
+    resource) {
+  if (resource.type == undefined && resource.url) {
+    if (resource.url.search('\.js$') != -1) {
+      resource.type = WebInspector.Resource.Type.Script;
+    } else if (scriptOrResource.url.search('\.html$') != -1) {
+      resource.type = WebInspector.Resource.Type.Document;
+    }
+  }
+
+  return orig.apply(this, arguments);
+};
+})();