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

[email protected] Thu, 21 Feb 2019 21:03:17 +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 Agares:
Oh, right, my bad, seems like indeed the non-printable characters always have their byte-values specified.