RFC [Discussion]: Marking overridden methods (#[\Override])

Hi I'm now opening discussion for the RFC "Marking overridden methods (#[\Override])": ---- RFC: Marking overridden methods (#[\Override]) https://wiki.php.net/rfc/marking_overriden_methods Proof of concept implementation is in: https://github.com/php/php-src/pull/9836 ---- Thanks to Ilija Tovilo for reviewing the implementation, providing additional test cases and proof-reading the RFC text. Also thanks to my coworkers at WoltLab for proof-reading the RFC text as well. Any remaining mistakes [1] are my fault :-) Best regards Tim Düsterhus [1] For example the typo in the URL that I noticed too late.