borisyankov/DefinitelyTyped — pull request #1401 by loyd (2013-12-06 18:23:29+00:00)
Title: Rename Timer to NodeTimer

This commit fixes #1321
[We discussed it.](https://github.com/borisyankov/DefinitelyTyped/pull/1321#discussion_r7878861)