Thank you for checking <3 This looks like it wasn't detected in php <8.4 because of a typo in the older versions of the docs -- I'd rather pick up that typo when it happens (which fixes behaviour for 8.1-8.3) than add a function to special_cases.php (which overrides behaviour for all versions, including future ones) - done in #663

Thank you for checking <3 This looks like it wasn't detected in php <8.4 because of a typo in the older versions of the docs -- I'd rather pick up that typo when it happens (which fixes behaviour for 8.1-8.3) than add a function to special_cases.php (which overrides behaviour for all versions, including future ones) - done in #663

Now I understand how the code is generated and I may propose some other fixes. Indeed, in our codebase, we have 300+ errors detected in PHP 8.2 but not in PHP 8.4. If they are related to an undetected pattern in the doc, now I know how to solve this.

Thanks for your quick review/fix.