On 16/06/2026 7:51 pm, Kamil Tekiela wrote:
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.
Regardless of whether this RFC passes or not, the documentation team will continue trying to prune/archive documentation for genuinely abandoned extensions where appropriate.
That said, it is not always straightforward. As these are third-party extensions, we do not always have a clear picture of their maintenance (or usage) status, and a lack of recent updates does not necessarily mean an extension is no longer functional with current PHP versions. Extensions could remain stable for years without requiring active changes.
Because of that, determining what should actually be removed or archived requires careful consideration. This RFC would also help clarify the boundaries and expectations around maintaining third-party extension documentation going forward.
-- Regards, Jordi Kroon
