sebastianbergmann/php-timer — pull request #8 by whatthejeff (2013-02-18 00:26:58+00:00)
Title: Fixes #7

Added milliseconds to the string returned by `secondsToTimeString()`.