PHP Language Specification added