Index: Source/devtools/front_end/ProfilesPanelDescriptor.js |
diff --git a/Source/devtools/front_end/ProfilesPanelDescriptor.js b/Source/devtools/front_end/ProfilesPanelDescriptor.js |
index 978f3d1cb61e56c591a0210ea82e0994770fda99..884fd49fb28c1c2909c2d7df22e626c78aef2914 100644 |
--- a/Source/devtools/front_end/ProfilesPanelDescriptor.js |
+++ b/Source/devtools/front_end/ProfilesPanelDescriptor.js |
@@ -53,39 +53,13 @@ WebInspector.ProfilesPanelDescriptor.ShortcutKeys = { |
WebInspector.ProfilesPanelDescriptor.ProfileURLRegExp = /webkit-profile:\/\/(.+)\/(.+)/; |
-WebInspector.ProfilesPanelDescriptor.UserInitiatedProfileName = "org.webkit.profiles.user-initiated"; |
- |
-/** |
- * @param {string} title |
- * @return {boolean} |
- */ |
-WebInspector.ProfilesPanelDescriptor.isUserInitiatedProfile = function(title) |
-{ |
- return title.startsWith(WebInspector.ProfilesPanelDescriptor.UserInitiatedProfileName); |
-} |
- |
-/** |
- * @param {string} title |
- * @return {number} |
- * @throws {string} |
- */ |
-WebInspector.ProfilesPanelDescriptor.userInitiatedProfileIndex = function(title) |
-{ |
- if (!WebInspector.ProfilesPanelDescriptor.isUserInitiatedProfile(title)) |
- throw "Not user-initiated profile title."; |
- var suffix = title.substring(WebInspector.ProfilesPanelDescriptor.UserInitiatedProfileName.length + 1); |
- return parseInt(suffix, 10); |
-} |
- |
/** |
* @param {string} title |
* @return {string} |
*/ |
WebInspector.ProfilesPanelDescriptor.resolveProfileTitle = function(title) |
{ |
- if (!WebInspector.ProfilesPanelDescriptor.isUserInitiatedProfile(title)) |
- return title; |
- return WebInspector.UIString("Profile %d", WebInspector.ProfilesPanelDescriptor.userInitiatedProfileIndex(title)); |
+ return title; |
} |
/** |