サンプルコードあり
<?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 ゲッターが 1 行前に Timestamp セッターに渡されたものとまったく同じ整数を返すようにするにはどうすればよいかということです。
PHP 5.3.6