[VOTE] [RFC] Separation of Third-Party Extension Documentation

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