PHP 把秒数转换成时分秒格式输出

gmstrftime('%H:%M:%S',800);