没有前导 0 PHP 的分钟或秒

Question

I am in the midst of changing the dates in my database to something else. However, when getting them to convert to the new style, I notice that some of them are missing a leading 0 for the minutes or seconds.

$origDate = Sat Jan 19 16:15:3 2019

or

$origDate = Sat Jan 19 16:8:39 2019

This will fail because its looking for a leading 0. How can I fix this?

$oldDate = DateTime::createFromFormat('l M d H:i:s Y', $origDate);
$origDate = $oldDate->format('Y-m-d H:i');

Answer 1

也许这过于简单，但 PHP 已经能够在不使用createFromFormat()情况下自动解析该格式，因此您应该可以使用：

$oldDate = new DateTime($origDate);

Answer 2

You can do that:

$origDate = 'Sat Jan 19 16:8:39 2019';

$origDate = preg_replace('~:\K\d\b|\b\d(?=:)~', '0$0', $origDate);

echo $origDate;

\\b looks for a word boundary (limit between a digit (or a letter or an underscore) and another character.
\\K changes the position of the match result.
(?=..) is a lookahead assertion that checks forward if the subpattern match. The content matched in the subpattern isn't included in the match result.

Note: I jumped too quickly on my old horse, @Don'tPanic​'s answer is obviously the way to go.

Answer 3

A slightly simpler regex.
Just looking for a single digit without a neighbor.

$origDate = 'Sat Jan 1 6:8:3 2019';

$origDate = preg_replace("/\b\d{1}\b/", '0$0', $origDate);

echo $origDate; //Sat Jan 01 06:08:03 2019