Re: [RFC] Separation of Third-Party Extension Documentation
| From: | Kamil Tekiela | Date: | Tue, 16 Jun 2026 17:51:46 +0000 |
| Subject: | Re: [RFC] Separation of Third-Party Extension Documentation | ||
| References: | 1 2 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-131328@lists.php.net to get a copy of this message | ||
On Tue 16 Jun 2026, 19:43 Jordi Kroon, <jordikroon@me.com> wrote:
> On 28/05/2026 9:15 pm, Jordi Kroon wrote:
> > Hello,
> >
> > I've opened an RFC to separate third-party extension documentation
> > (imagick, redis, mongodb, etc) from the official PHP manual, while
> > keeping the existing DocBook tooling and infrastructure.
> >
> > Bundled extensions (pdo, curl, etc) are out of scope and stay in the
> > official PHP manual.
> >
> > https://wiki.php.net/rfc/third_party_ext_documentation
> >
>
> It has been 2 weeks since the last major change.
> I am planning to open voting this Friday (June 19).
>
> --
> Regards,
>
> Jordi Kroon
>
What happens if the RFC fails? Do we just do nothing and let the PHP manual
deteriorate further?
Are there any abandoned extensions that make no sense to keep the
documentation for? Wouldn't it be wiser to prune the docs of these
abandoned extensions and then deal with the remaining per the outcome of
the RFC.
>