Update 00-specification-for-php.md