Re: [PHP-DEV] [VOTE] [RFC] Separation of Third-Party Extension Documentation

On 19/06/2026 12:44 pm, Jordi Kroon wrote:
> Hello internals,
> 
> Voting is now open for the RFC Separation of Third-Party Extension 
> Documentation.
> 
> The voting will close on 2026-07-03 at 18:00 UTC.
> 
> RFC: https://wiki.php.net/rfc/third_party_ext_documentation
> Discussion thread: https://news-web.php.net/php.internals/131042
> 
> 
> There are three votes for this RFC:
>   - Primary vote: Move third-party extension documentation out of the 
> official PHP manual?
>   - Secondary vote (simple majority): Where should third-party 
> documentation be hosted?
>   - Secondary vote (simple majority): How should existing user notes be 
> handled during migration?
> 

Hello internals,

The RFC has been accepted with 26 yes, 1 no and 1 abstain.

The 2 secondary votes have resulted in:
  - The third-party documentation will be hosted on a subpath
  - User notes will be removed during migration

Where should third-party documentation be hosted?
  - contrib.php.net (subdomain) : 8
  - www.php.net/manual/extensions/ (subpath) : 15
  - Abstain : 6

How should existing user notes be handled during migration?
  - Remove notes : 21
  - Migrate notes to the new location : 4
  - Abstain : 3

Thank you.

-- 
Regards,

Jordi Kroon