On Tue 16 Jun 2026, 19:43 Jordi Kroon, <[email protected]> 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. >
