[PHP-DOC] Re: Time problems

[Jeroen van Wolffelaar]

> > cvs.php.net has a wrong time configuration.
> fixed.

This couldn't have happened if cvs.php.net was synced with some time-source
(at the first syncing, time would have been adjusted with one hour...). Why
isn't that happening? AFAIK any self-respecting website is synced with a
time source... and many personal computers too nowadays.

--Jeroen