我有几个日期被输出到变量中。它们的格式如下：
/Date(1341788400000+0100)/
我该如何使用PHP将它们格式化为：
DD/MM/YYYY HH:MM
谢谢！
我最终使用了以下内容，因为初始格式是以毫秒为单位的：
$date = 1341788400000+0100;
$date = ( $date / 1000 );
$date = date("d/m/Y H:m", $date);
$date = 1341788400000+0100;
echo date("Y/m/d H:m",$date);
除非+0100是一天中的实际时间（01:00）？
首先，解析它，例如使用strtok()http://php.net/manual/en/function.strtok.php
然后将其解析为数字。
$seconds = intval($a)
然后使用进行格式化
date("Y/m/d H:m", $seconds)`.