Делите число секунд на 60*60: получаете HH.
Остаток от деления делите на 60: получаете MM.
Остаток от деления — SS.
Ну и далее выводите что-нибудь вроде этого:
echo $hh?$hh.':'.$mm.':'.$ss:$mm.':'.$ss;
Это решение в лоб. Для простейшей ситуации, когда ни к чему усложнять. А вообще PHP предоставляет кучу функций для работы с
датами и временем.