Added PHP spec