我的时间戳如812671200. http://timestampconvert.com/表示时间为10/03/1995 00:00:00。细
但是如果我想用PHP格式化它：
$date = new DateTime();
$date->setTimestamp(812671200);
$date->setTimezone(new DateTimeZone('Europe/Berlin')); // my timezone
echo $date->format('m/d/Y H:i:s');
它说：10/02/1995 23:00:00
使用“UTC”作为时区返回：10/02/1995 22:00:00
我在维基百科上看到，1996年DST改为10月的最后一个星期天，所以我尝试了不同的时间戳，比如上周六，1995年9月的星期日，他们格式很好，但是在1995年9月的最后一个星期天之后的星期一没有格式化。
Wikipedia - Daylight saving time by country
1981-1995 3月的最后一个星期日到9月的最后一个星期日 自1996年3月的最后一个星期日到10月的最后一个星期日。
这是PHP的问题还是我做错了什么？ 非常感谢帮助。谢谢！