Ho una manciata di secondi che vorrei quantificare a video come "ore:minuti:secondi" e volevo usare date(). Mi ero fatto anche una funzione che fa le divisioni e il modulo per 60, 3600, etc, ma la trovo ridondante, avendo già a disposizione date().

Volevo usare date() così:

Codice PHP:
echo date("G:i:s", $dt); 
Dove $dt sono i secondi da formattare, diciamo 72 ad esempio. L'output è il seguente:

codice:
1:01:12
Tutto ok tranne l'ora, che dovrebbe essere 0, non 1 :|

Come mai? Ha a che vedere con il GMT? Si può togliere sta schifezza?