PHP 时间字符串转换：处理特殊符号并输出标准格式

使用PHP中的strtotime()函数将时间字符串转换为Unix时间戳，然后使用date()函数将Unix时间戳转换为标准时间格式。

示例代码如下：

$time_str = '25\/11\/2020下午4:00:00';
$time_str = str_replace('\', '', $time_str); // 去除\字符
$timestamp = strtotime($time_str);
$date_str = date('Y-m-d H:i:s', $timestamp);
echo $date_str;

输出结果为：

2020-11-25 16:00:00

注意，由于时区的影响，输出时间可能与本地时间不同。可以在代码中添加时区设置，如下所示：

date_default_timezone_set('Asia/Shanghai'); // 设置时区为上海