DevTools: prepare for WebKit change 50460.

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 414 matching lines @@
     } else if (resource.url.search('\.html$') != -1) {
       resource.type = WebInspector.Resource.Type.Document;
     }
   }
 
   return orig.apply(this, arguments);
 };
 })();
 
 
-// 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,
     includeInspectorCommandLineAPI, callFrameId, reportCompletions) {
   if (goog.isDef(callFrameId)) {
     devtools.tools.getDebuggerAgent().resolveCompletionsOnFrame(
         expressionString, callFrameId, reportCompletions);
   } else {
     return orig.apply(this, arguments);
   }
 };
 })();