Interesting. That doesn't seem like a complete clear cut case of it though, more the git-fu of the repo maintainer there might not be all that great. :(
Even though they fucked up the author name on the commit itself, they at least attempted to credit you in the commit title:
Merge PR 7 from theodorejb; Add missing type declarations and fix incorrect PHPDoc types
While that's not fantastic as it screws up proper attribution with pretty much every automated git tool... it doesn't seem like a case of them trying to claim credit for someone else's work.
That's just my impression anyway. Could be wrong. :D
