Minor update to php include