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

[email protected] Thu, 21 Feb 2019 18:21:56 +0000

Newsgroups	php.standards
Message-ID	<[email protected]>

You can view the Pull Request on github:
https://github.com/php/php-langspec/pull/234

Opened By: Agares
Pull Request Description:
1. Remove references to unicode codepoints (as those were ambigouous
without a defined encoding) and replace them with byte values
2. Define the encoding of PHP scripts as ASCII, where bytes greater than
0x7F are allowed