Remove a contributor

I don't code in PHP anymore.