Jakobo/hotp-php — pull request #2 by scottmac (2011-10-18 20:53:16+00:00)
Title: time() in PHP wraps around libc which is always UTC

This causes a warning when timezones aren't set. PHP uses libc for this and its timezone agnostic.

Line of code in PHP's source shows that it ignores timezone.
http://svn.php.net/viewvc/php/php-src/branches/PHP_5_3/ext/date/php_date.c?revision=315779&view=markup#l1678

I also spoke to Derick who wrote the date extension, confirmed its not used.