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
