PHP 5 e o horário de verão brasileiro

Quem trabalha na área de tecnologia que não adora o horário de verão brasileiro? :)

Após alterar a data do meu servidor Linux, notei que o PHP continuava exibindo o horário anterior (uma hora atrasado)

Pesquisando no Google, encontrei este post http://www.eustaquiorangel.com/blog/show/308 que explica perfeitamente o que se passa:

O PHP (assim com o Java) vem com um banco de dados próprio de timezones. Como a regra do horário de verão do Brasil é totalmente imprevisível, é necessário manter esse banco de dados atualizado.

O repositório PECL disponibiliza esse banco: http://pecl.php.net/package/timezonedb

Para instalar, basta utilizar os comandos shell PECL:

pecl install timezonedb

e depois inserir a extensão no php.ini:

extension=timezonedb.so

O horário se ajusta automaticamente. Problema resolvido (pelo menos nesse ano)