Pre-RFC: allow #[Override] on properties

Hi internals, I would like to propose extending the target of the #[Override] attribute to include properties. The original RFC explicitly excluded properties [1] for reasons that have since then changed drastically: the additions in 8.4 have allowed properties to become a more prominent part of the public API of a class or an interface. In light of these changes, I believe it might be worth revisiting. The RFC passed almost unanimously, but based on the discussion, I got the impression it raised some concerns about its utility. So I wanted to reach out and read the room before proceeding with an actual RFC. Looking forward to your thoughts. Best regards, Jiří Pudil [1] https://wiki.php.net/rfc/marking_overriden_methods#properties