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
