[webkit-reviews] review requested: [Bug 54312] Allow controlling minimum DOMTimer interval on a per-page basis : [Attachment 82481] GTK build fix

[bugzilla-daemon at webkit.org]

Kenneth Russell <kbr at google.com> has asked  for review:
Bug 54312: Allow controlling minimum DOMTimer interval on a per-page basis
https://bugs.webkit.org/show_bug.cgi?id=54312

Attachment 82481: GTK build fix
https://bugs.webkit.org/attachment.cgi?id=82481&action=review

------- Additional Comments from Kenneth Russell <kbr at google.com>
GTK build fix; documented whitespace-only change to WebKit.idl for Win port,
which I'll submit with this patch to keep the bots green and remove it
immediately afterward.