| Index: third_party/WebKit/Source/devtools/front_end/profiler/ProfilesPanel.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/profiler/ProfilesPanel.js b/third_party/WebKit/Source/devtools/front_end/profiler/ProfilesPanel.js
|
| index e2d1403383600f573e5b95b79ffafd123fafdb30..e8ecd195a2c0b7083cd114c18527cea9447b3c38 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/profiler/ProfilesPanel.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/profiler/ProfilesPanel.js
|
| @@ -163,13 +163,11 @@ WebInspector.ProfileType.prototype = {
|
| },
|
|
|
| /**
|
| - * @nosideeffects
|
| * @param {number} uid
|
| * @return {?WebInspector.ProfileHeader}
|
| */
|
| getProfile: function(uid)
|
| {
|
| -
|
| for (var i = 0; i < this._profiles.length; ++i) {
|
| if (this._profiles[i].uid === uid)
|
| return this._profiles[i];
|
|
|