Update ebnf-php.md