Description:
------------
Our server is set up for Asia/Singapore time
OS date command prints: Fri May 23 22:29:19 SGT 2008
Running the following code should produce the same result since the default timezone is SGT but it doesn't. Updating the timezonedb.so file to version 2008.2 (the newest available version) did not fix the problem.
Reproduce code:
---------------
<?php
print strtotime('2008-05-23 00:00:00 SGT');
print "<br>";
print strtotime('2008-05-23 00:00:00');
?>
Expected result:
----------------
1211473800
1211473800
Actual result:
--------------
1211473800
1211472000

I don't see any evidence of this file being autogenerated. It's included in the
source distribution. Maybe it's autogenerated at some point by someone, but the
timezonedb.h that gets included in the build is essentially hard-coded and doesn't
use the system timezonedb at any point.
If it is autogenerated, maybe it's time for someone to rebuild it and update the
distribution.