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

[email protected] Mon, 08 Apr 2019 06:39:43 +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:
Thanks for the update! Now merged as https://github.com/php/php-langspec/commit/fe55bee01293a925120cfe330b62a94fc5140e35.