[webkit-reviews] review requested: [Bug 20413] console.time/timeEnd is not cleared when changing page : [Attachment 22838] proposed patch

[bugzilla-daemon at webkit.org]

Keishi Hattori <casey.hattori at gmail.com> has asked  for review:
Bug 20413: console.time/timeEnd is not cleared when changing page
https://bugs.webkit.org/show_bug.cgi?id=20413

Attachment 22838: proposed patch
https://bugs.webkit.org/attachment.cgi?id=22838&action=edit

------- Additional Comments from Keishi Hattori <casey.hattori at gmail.com>
m_times.clear(); was missing in InspectorController::didCommitLoad