I just figured out neither #phpstan nor #phpcodesniffer reported that a class was differrent from the file it is in. I bet it's a setting somewhere that my quick search didn't find...
BTW #PHPStorm with the defaults didn't report it either... (again may be there's a checkbox somewhere in the settings)...


