The PHP Specification.