A PHP internals RFC thread discussing a proposal to move third-party PHP extension documentation (imagick, redis, mongodb, etc.) out of the official PHP manual into separate contributor repositories, while keeping bundled extensions (pdo, curl, etc.) in place. The RFC proposes a lift-and-shift migration of English documentation only, with translations excluded due to responsibility and coverage concerns. Discussion covers handling of user comments on migrated pages (with most participants favoring removal), whether to archive abandoned extensions first, and one dissenting voice (-1) arguing the change creates undue burden on third-party maintainers without clear evidence of user confusion.
259 Impressions