PHP specs