]> granicus.if.org Git - php/commitdiff
Merge branch 'PHP-7.2' into PHP-7.3
authorStanislav Malyshev <stas@php.net>
Tue, 28 May 2019 00:21:23 +0000 (17:21 -0700)
committerStanislav Malyshev <stas@php.net>
Tue, 28 May 2019 00:21:23 +0000 (17:21 -0700)
* PHP-7.2:
  Fix function name


Trivial merge