| 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,
|
|
|