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: PHP: rfc:third_party_ext_documentation
Discussion thread: php.internals: [RFC] Separation of Third-Party Extension Documentation
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