On Fri 19 Jun 2026, 12:44 Jordi Kroon, <[email protected]> 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? > > -- > 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. >
