Everything
php
RFC: Separation of Third-Party Extension Documentation
Project Governance
The PHP manual currently contains documentation for both PHP itself and numerous independently maintained third-party extensions.
Mailing List Discussions
Move third-party extension documentation out of the official PHP manual?
Overall Results
Yes
26 Votes (93%)
No
1 Votes (4%)
Abstain
1 Votes (4%)
Voting Timeline
Dates based on UTC
Voting Breakdown
Where should third-party documentation be hosted?
Overall Results
contrib.php.net (subdomain)
8 Votes (28%)
www.php.net/manual/extensions/ (subpath)
15 Votes (52%)
Abstain
6 Votes (21%)
Voting Timeline
Dates based on UTC
Voting Breakdown
contrib.php.net (subdomain)
8 Votes (28%)
www.php.net/manual/extensions/ (subpath)
15 Votes (52%)
How should existing user notes be handled during migration?
Overall Results
Remove notes
21 Votes (75%)
Migrate notes to the new location
4 Votes (14%)
Abstain
3 Votes (11%)
Voting Timeline
Dates based on UTC
Voting Breakdown
Remove notes
21 Votes (75%)
Abstain
3 Votes (11%)