PHP Zmiana formatu czasu online.

Witam, chciałbym do listy graczy online dodać czas online. Sam czas online się dodaje, ale wygląda tak HLTV  340030.15625 gdzie te cyfry to czas. Jak zrobić by ten czas ładnie wyglądał np 2:14:13 ? Pomyślałem, żeby dać nice_time(); ale nic nie dało.

Poradziłem sobie dodałem

gmdate("H:i:s", $player['time'])