function seconds2Description($seconds, $short = false, $singular = false)
{
    $dur = time_duration_2array($seconds, array('days' => '86400', 'hours' => 3600, 'minutes' => 60, 'seconds' => 1));
    $o = '';
    if ($dur['days'] != 0) {
        if ($singular) {
            $o .= wfMsg('mv_days_singular');
        } else {
            $o .= wfMsg('mv_days', intval($dur['days']));
        }
    }
    if ($dur['hours'] != 0) {
        if ($singular) {
            $o .= wfMsg('mv_hours_singular');
        } else {
            $o .= wfMsg('mv_hours', intval($dur['hours']));
        }
    }
    if ($dur['minutes'] != 0) {
        $o .= $o != '' ? ' ' : '';
        if ($singular) {
            $o .= wfMsg('mv_minutes_singular');
        } else {
            $o .= wfMsg('mv_minutes', intval($dur['minutes']));
        }
    }
    if (($short == false || $o == '') && $dur['seconds']) {
        $o .= $o != '' ? ' ' : '';
        if ($singular) {
            $o .= wfMsg('mv_seconds_singular');
        } else {
            $o .= wfMsg('mv_seconds', intval($dur['seconds']));
        }
    }
    return $o;
}
function seconds2ntp($seconds){
	$dur = time_duration_2array($seconds);
	//be sure to output leading zeros (for min,sec):  
	return sprintf("%d:%02d:%02d", $dur['hours'], $dur['minutes'], $dur['seconds']);
}