timers-control extension. Includes bug fixes to timer-factory.js. Pushed by grunt on 2014-03-14