PHP lost one of the contributors, how much contributors left?