Is that a PHP date() bug?

Question

这是我的代码：

<?php
echo date("Y-m-d H:i:s",1477785600) ;
echo "<br />";
echo date("Y-m-d H:i:s",1477789200) ;
?>

结果是

2016-10-30 02:00:00
2016-10-30 02:00:00

为什么日期（）使用不同的时间戳获得相同的结果？
是php错误吗？

我的环境设置是：

date.timezone =欧洲/柏林

PHP版本5.6.30

Answer 1

这是正确的输出。在西欧，2016年10月30日，由于节日储蓄时间，这两次是2:00：

1. 这是第一个2:00 Cest（ 0200）。

2. 一个小时后，3:00，时钟被重置一个小时，是2:00 CET（ 0100）。

这是一个稍微清晰的测试案例：

date_default_timezone_set('Europe/Berlin');
echo date("r",1477785600) . "n";
echo date("r",1477789200) ;

Sun, 30 Oct 2016 02:00:00 +0200
Sun, 30 Oct 2016 02:00:00 +0100