Description:
------------
It seems that the docs server is not updated in the expected
intervals anymore. For instance, I committed rev 337283 more than
two days ago, but it's still missing from docs, even though it is
available on php.net.