[php-langspec][PR #234] - Define encoding of PHP scripts (Fix #233)

[email protected] Thu, 21 Feb 2019 20:00:51 +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 nikic:
I think the precise way to specify this would be to say that PHP scripts are encoded using an ASCII-compatible encoding. In this case we can also keep the existing `U+00XX` notation, as for an ASCII-compatible encoding `U+00XX` for `0xXX < 0x80` will always be encoded as a `0xXX` byte.