[webkit-reviews] review granted: [Bug 31293] Web Inspector: Enable 'console.profile()' and 'console.profileEnd()' regardless of JAVASCRIPT_DEBUGGER : [Attachment 43100] another approach

[bugzilla-daemon at webkit.org]

Timothy Hatcher <timothy at hatcher.name> has granted Mikhail Naganov
<mnaganov at chromium.org>'s request for review:
Bug 31293: Web Inspector: Enable 'console.profile()' and 'console.profileEnd()'
regardless of JAVASCRIPT_DEBUGGER
https://bugs.webkit.org/show_bug.cgi?id=31293

Attachment 43100: another approach
https://bugs.webkit.org/attachment.cgi?id=43100&action=review

------- Additional Comments from Timothy Hatcher <timothy at hatcher.name>
This seems fine to me.