[webkit-reviews] review denied: [Bug 67501] set DOMTimer's default min timeout from 10ms to 4ms as per w3 WG : [Attachment 106163] Patch to change the default timeout value

[bugzilla-daemon at webkit.org]

Alexey Proskuryakov <ap at webkit.org> has denied Srikumar B
<srikumar.b at gmail.com>'s request for review:
Bug 67501: set DOMTimer's default min timeout from 10ms to 4ms as per w3 WG
https://bugs.webkit.org/show_bug.cgi?id=67501

Attachment 106163: Patch to change the default timeout value
https://bugs.webkit.org/attachment.cgi?id=106163&action=review

------- Additional Comments from Alexey Proskuryakov <ap at webkit.org>
It was intentionally left for ports to decide when/if they want to change the
minimum interval. Grepping sources, it appears that not all ports chose to
change it, so it may not appropriate to change the default at this time.

Also, duping to an existing bug.