Превращение секунд в нужный формат

У менять есть колличество секунд, а мне понадобилось превратить их в строку виде 00:14:12, то есть, например, если есть есть 14 секунд, то должно получиться 00:00:14, а если 72, то 00:01:12.

Совершенно несложно и в интернетах есть даже большие и красивые функции для этого, но зачем если есть функция date() которая может преобразоваться в нужный формат обычный timestamp. А timestamp в свою очередь это колличество секунд с начала эпохи UNIX, то есть если я её обману и скажу что прошло 14 секунд то date() ничего не должна заподозрить.

Но выполнив
< ?php echo date('H:i:s', 14); ?>
я получил непонятный ответ: 02:00:14. Это все потому что date() выдает локальное время поэтому писать надо:
< ?php echo gmdate('H:i:s', 14); ?>
Как мне сказали в комментариях, а не менять временную зону как идиот.

2010.09.13 12:58