Hi
On 7/7/25 13:50, Jiří Pudil wrote:
I'd like to start the discussion for an RFC proposing to extend the target of
the #[\Override] attribute to properties.
RFC: https://wiki.php.net/rfc/override_properties
Implementation: https://github.com/php/php-src/pull/19061
Thank you. As the author of the original RFC, I agree that the situation
changed and adding support for #[\Override] on properties makes sense to
me (especially considering the simplicity of the implementation).
Best regards
Tim Düsterhus
