Index: webkit/glue/devtools/js/devtools.js |
diff --git a/webkit/glue/devtools/js/devtools.js b/webkit/glue/devtools/js/devtools.js |
index f1e9490d3b0516786629ce7cf48baa80446e21e0..0a452e21f849ca0b9c1e82fdf4b00591918c7749 100644 |
--- a/webkit/glue/devtools/js/devtools.js |
+++ b/webkit/glue/devtools/js/devtools.js |
@@ -432,17 +432,6 @@ WebInspector.ResourcesPanel.prototype._createResourceView = function( |
})(); |
-// Temporary workaround for a patch from WebKit bug 30328. |
-// TODO(mnaganov): Remove when after WebKit roll. |
-if (!('addProfile' in WebInspector)) { |
- WebInspector.addProfile = function(profile) { |
- WebInspector.__fullProfiles = WebInspector.__fullProfiles || {}; |
- WebInspector.__fullProfiles[profile.uid] = profile; |
- WebInspector.addProfileHeader(profile); |
- }; |
-} |
- |
- |
(function() { |
var orig = InjectedScriptAccess.getCompletions; |
InjectedScriptAccess.getCompletions = function(expressionString, |