[php-langspec][PR #234] - Define encoding of PHP scripts (Fix #233)
[email protected] Thu, 21 Feb 2019 20:26:41 +0000
| Newsgroups | php.standards |
|---|---|
| Message-ID | <[email protected]> |
You can view the Pull Request on github: https://github.com/php/php-langspec/pull/234 Comment by IMSoP: Previous comment retracted. My first claim, that there is no requirement for the source file to be ASCII-compatible, was correct; my second, that the grammar is expressed in Unicode was not. I'll carry on the discussion on #233