[webkit-reviews] review requested: [Bug 31293] Web Inspector: Enable 'console.profile()' and 'console.profileEnd()' regardless of JAVASCRIPT_DEBUGGER : [Attachment 42866] proposed change

[bugzilla-daemon at webkit.org]

Mikhail Naganov <mnaganov at chromium.org> has asked  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 42866: proposed change
https://bugs.webkit.org/attachment.cgi?id=42866&action=review

------- Additional Comments from Mikhail Naganov <mnaganov at chromium.org>
Fixed a small issue