Convertire secondi in formato H:i:s

Ho un problema con gli orari...
io ho un tempo di una gara, ad esempio un minuto e 26 secondi,
solo che nel database la salvo in forma di secondi, e ora vorrei farla vedere sotto formato ora/minuti/secondi/centesimi

ho provato con la funzione date() però non da il risultato che credevo,
cioè lo prende come timestamp, ma è solo un numero di secondi, qhttp://forum.it.altervista.org/php-mysql-e-file-database/
PHP, MySql e file databaseuindi se io gli dico 1000 secondi, lui mi stampa una data di chissa quanti anni fa perche la considera come data, mentre per me e solo un numero di secondi...

Sul manuale ufficiale ho trovato solo funzioni che lavorano con timestamp, ne esiste una che converta semplicemente un numero di secondi in ora/minuti/secondi/centesimi? o devo crearmela io?

Grazie

P.S. se gentilmente qualche mod puo correggermi il titolo eheh... errore di battitura

[funcool]

<?php
$tempo=1000;
$ore=floor($tempo/3600);
$tempo=$tempo%3600;
$minuti=floor($tempo/60);
$tempo=$tempo%60;
$secondi=$tempo;

echo $ore.":".$minuti.":".$secondi;
?>

P.S.: Ho aggiunto la "i" nel titolo.

<?php
$tempo=1000;
$ore=floor($tempo/3600);
$tempo=$tempo%3600;
$minuti=floor($tempo/60);
$tempo=$tempo%60;
$secondi=$tempo;

echo $ore.":".$minuti.":".$secondi;
?>

P.S.: Ho aggiunto la "i" nel titolo.

ho un piccolo problema, nel tuo script quando i secondi sono 4 invece di uscire 00.00.04 esce 00.00.4
Come posso risolvere? per il resto è a posto!

[dreadnaut]

puoi usare str_pad() per aggiungere gli zeri mancanti

puoi usare str_pad() per aggiungere gli zeri mancanti

Ok ho fatto cosi, nel caso servisse a qualcuno:

function creatempo($int)
 {
$ore=floor($int/3600000);
 $int=$int%3600000;
$minuti=floor($int/60000);
 $int=$int%60000;
$secondi=floor($int/1000);
 $int=$int%1000;
$centesimi=floor($int/10);
return str_pad($ore,2,'0').":".str_pad($minuti,2,'0').":".str_pad($secondi,2,'0').":".str_pad($centesimi,2,'0');
 }