PHP时间格式转换：将'25/11/2020下午4:00:00'格式转换为标准时间

可以使用PHP的date()函数将该时间字符串转换为标准时间格式。例如：

$time_str = '25/11/2020下午4:00:00';
$time = strtotime(str_replace('下午', 'PM', $time_str));
$std_time = date('Y-m-d H:i:s', $time);

echo $std_time; // 输出：2020-11-25 16:00:00

在上面的代码中，首先使用了str_replace()函数将时间字符串中的'下午'替换为'PM'，这是因为date()函数只能识别'AM'和'PM'作为时间的上午和下午标识符。然后使用strtotime()函数将时间字符串转换为时间戳，最后使用date()函数将时间戳转换为标准时间格式。