A PHP internals mailing list thread discussing an RFC proposing to move third-party PHP extension documentation (imagick, redis, mongodb, etc.) out of the official PHP manual into separate repositories, while keeping bundled extensions (pdo, curl, etc.) in place. The RFC aims to reduce ambiguity for readers who may assume all documented extensions are officially maintained, and to let extension maintainers own their docs with relaxed format requirements. Key discussion points include: whether to migrate translations (RFC proposes English-only migration due to maintainer language barriers), what to do with user-submitted notes (majority favor removing them), and whether to archive abandoned extensions first. Most respondents support the RFC, though one -1 vote argues it creates undue burden on third-party maintainers. Voting was planned for June 19.
