[webkit-reviews] review granted: [Bug 82451] Web Inspector: use maxJSObjectId provided by back-end. : [Attachment 135288] Patch

[bugzilla-daemon at webkit.org]

Yury Semikhatsky <yurys at chromium.org> has granted Ilya Tikhonovsky
<loislo at chromium.org>'s request for review:
Bug 82451: Web Inspector: use maxJSObjectId provided by back-end.
https://bugs.webkit.org/show_bug.cgi?id=82451

Attachment 135288: Patch
https://bugs.webkit.org/attachment.cgi?id=135288&action=review

------- Additional Comments from Yury Semikhatsky <yurys at chromium.org>
View in context: https://bugs.webkit.org/attachment.cgi?id=135288&action=review


> Source/WebCore/inspector/front-end/DetailedHeapshotView.js:279
> +	   if (this._filterProfileIndex !== -1) {

Could you use profileIndex here as well(just for clarity)?