> On 20.08.2008, at 23:07, Mohammed Abouzour wrote:
>
>> also update the
>> php-docs with the functionality of the extension, does that make it live
>> on php.net?

Yes. Our developmental server (http://docs.php.net) renders the
documentations few times a day so they should be available shortly
after committing to phpdoc.
The official mirrors sync the documentations every Friday.

-Hannes