A vote has opened on the PHP RFC proposing to separate third-party extension documentation from the official PHP manual. The vote runs until July 3, 2026, and covers three questions: whether to move third-party extension docs out of the manual, where to host them, and how to handle existing user notes during migration. A community member raises a concern about the timeline for removing unbundled extensions, suggesting extensions unbundled before PHP 7.0 should already be moved, while those unbundled between 7.0 and 8.0 should remain until PHP 9.0.
280 Impressions