]> granicus.if.org Git - php/commitdiff
[ci skip] Merge branch 'pull-request/2776' into PHP-7.2
authorChristoph M. Becker <cmbecker69@gmx.de>
Tue, 3 Oct 2017 22:26:47 +0000 (00:26 +0200)
committerChristoph M. Becker <cmbecker69@gmx.de>
Tue, 3 Oct 2017 22:30:57 +0000 (00:30 +0200)
* pull-request/2776:
  Change EXTENSIONS file encoding from iso-8859-1 to utf-8


Trivial merge