-
levin@chromium.org authored
Reviewed by Dimitri Glazkov and Dave Hyatt. https://bugs.webkit.org/show_bug.cgi?id=24324 Make the minimum timer configurable for different platforms. * page/DOMTimer.cpp: (WebCore::DOMTimer::DOMTimer): (WebCore::DOMTimer::fired): * page/DOMTimer.h: (WebCore::DOMTimer::minTimerInterval): (WebCore::DOMTimer::setMinTimerInterval): git-svn-id: http://svn.webkit.org/repository/webkit/trunk@41878 268f45cc-cd09-0410-ab3c-d52691b4dbfc
8aed5c9e