[webkit-reviews] review requested: [Bug 31575] Fix WebKit build when JAVASCRIPT_DEBUGGER is disabled : [Attachment 43377] Proposed fix

[bugzilla-daemon at webkit.org]

Mikhail Naganov <mnaganov at chromium.org> has asked  for review:
Bug 31575: Fix WebKit build when JAVASCRIPT_DEBUGGER is disabled
https://bugs.webkit.org/show_bug.cgi?id=31575

Attachment 43377: Proposed fix
https://bugs.webkit.org/attachment.cgi?id=43377&action=review

------- Additional Comments from Mikhail Naganov <mnaganov at chromium.org>
I tried to make 'console.profile()' and 'console.profileEnd()' declarations
platform-dependent, but for some reason this doesn't work. So I took another
route and made their implementations empty in the case when there is no
debugger.

Laszlo, can you try your debuggerless Qt build with this patch, please?