gistfile1.php

<?php

/**
 * Converts milliseconds to H:i:s
 */
function _format_time($milliseconds) {
  $seconds = round($milliseconds/1000);

  $dtZero = new DateTime("@0");
  $dtTime = new DateTime("@$seconds");
  return $dtZero->diff($dtTime)->format('%H:%i:%s');
}