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?
--
Regards,
Jordi Kroon
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/131042There 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?--
Regards,Jordi Kroon
One thing that I think is missing is when unbundled extensions should be
removed. If I am correct, the PHP manual documents the information that is
relevant to the current major version and the previous one, e.g PHP 8 & 7.
I believe if an extension has been unbundled in PHP 7.0 then it should
already be moved out. If it was unbundled between 7.0 and 8.0 then it needs
to remain as part of the official docs until the release of PHP 9.0.
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/131042There 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