Update php-spec-draft.md