On Fri 19 Jun 2026, 12:44 Jordi Kroon, <jordikroon@me.com> 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.
