<?PHP
$dt = new \DateTime();
$dt->setTimezone(new \DateTimeZone('Europe/London'));

$timestamp = 1351383400;    
echo "$timestamp \n";

$dt->setTimestamp($timestamp);
echo $dt->getTimestamp();

输出2个不同的时间戳1351383400(太阳,2012年10月28日01:16:40 0100,DST开关前)和1351387000(太阳,2012年10月28日01:16:40 0000,1小时后,DST开关后)

问题是如何使Timestamp getter返回与之前传递给Timestamp setter 1行的完全相同的整数？

PHP 5.3.6

$dt = new DateTime();
    $dt->setTimezone(new \DateTimeZone('Europe/London'));
    $timestamp = 1181503727;
    echo $timestamp . '<br />';

    $dt->setTimestamp($timestamp);
    echo $dt->format('U');