On Jul 12, 2011, at 10:39 AM, Jonathan Guerin wrote: > Oh and just a quick question - how long until the changes propagate after a > commit?
Hello Jonathan, The PHP manual updates (rsyncs to the php.net mirrors) every Friday. However, docs.php.net updates 4x daily. Regards, Philip