public static function formatTime($t) { // http://stackoverflow.com/a/3172665 $f = ':'; return sprintf('%02d%s%02d%s%02d', floor($t / 3600), $f, $t / 60 % 60, $f, $t % 60); }