jez500/chorus — pull request #18 by amitkeret (2014-04-01 19:57:50+00:00)
Title: Better format for player current/total time

In some cases, the current/total playing time were rendering wrong, specifically when minutes/seconds are less than 10.

So I get this, for eg: current - 0:6:33, total - 0:47:6
This should render like so: current - 0:06:33, total - 0:47:06

Added a new numPad() helper function, to make sure we always have the correct (2) number of digits for minutes/seconds in the player's current/total playing time.