php - 如何格式化 HH :MM:SS times if no leading zeros for hours, 分，秒 php

Question

我有一个来自数组的时间字符串，如果小于 10 的整数值不存在，我想添加前导零。比如我要

this "8:10:12"  to "08:10:12"
this "13:7:14"  to "13:07:14"
this "13:25:6"  to "13:25:06"

我可以通过“:”等分割来获得非常困惑的代码，但我想知道这是否可以用一行干净的代码来完成。如果这不能用单行完成，请回复。那我就把乱七八糟的代码搞定吧。

提前致谢...!

Answer 1

您可以将 php 日期函数 date 与 strtotime 一起使用

$str = "8:10:12";
$new_str = date("H:i:s",strtotime($str));
echo $new_str;

DEMO