Changes to timer.js to work with JSCoverage