[VOTE] [RFC] Separation of Third-Party Extension Documentation
| From: | Jordi Kroon | Date: | Fri, 19 Jun 2026 10:44:41 +0000 |
| Subject: | [VOTE] [RFC] Separation of Third-Party Extension Documentation | ||
| Groups: | php.internals | ||
| Request: | Send a blank email to internals+get-131402@lists.php.net to get a copy of this message | ||
Hello internals,
Voting is now open for the RFC Separation of Third-Party Extension Documentation.
The voting will close on 2026-07-03 at 18:00 UTC.
RFC: https://wiki.php.net/rfc/third_party_ext_documentation
Discussion thread: https://news-web.php.net/php.internals/131042
There are three votes for this RFC:
- Primary vote: Move third-party extension documentation out of the official PHP manual?
- Secondary vote (simple majority): Where should third-party documentation be hosted?
- Secondary vote (simple majority): How should existing user notes be handled during migration?
--
Regards,
Jordi Kroon