[PHP-DEV] [RFC] [Vote] #[\Deprecated] attribute

[Benjamin Außenhofer]

The vote for the RFC #[\Deprecated] attribute is now open:

https://wiki.php.net/rfc/deprecated_attribute

Voting will close on Wednesday 5th June, 08:00 GMT.