Upstream PHP has gained to about the same speed, and added many of the features (e.g. gradual strict typing and generators). I don't think Facebook would have made the same decision today.