[RFC] [Discussion] #[\Deprecated] attribute again v1.3

Hi internals, My PR for #[\Deprecated] attribute was in hibernation for a long while now and after some off-list discussion a few weeks ago I have decided to revisit it and asked Tim to help me out with the work. Tim has cleaned up the PR quite a bit and also worked in additional features such as #[Deprecated] support in stub generation. While there are still some small todos, at this point we want to restart the discussion about the RFC for inclusion in 8.4: RFC: https://wiki.php.net/rfc/deprecated_attribute PR: https://github.com/php/php-src/pull/11293 Old discussion: https://externals.io/message/112554#112554 Let me know about your questions and feedback. greetings Benjamin