我需要将秒转换为“小时：分钟：秒”。
例如：“ 685”转换为“ 00:11:25”
我该如何实现？
您可以使用以下gmdate()功能：
gmdate()
echo gmdate("H:i:s", 685);
