]> granicus.if.org Git - php/commit
Merge branch 'PHP-7.4'
authorPeter Kokot <peterkokot@gmail.com>
Tue, 14 May 2019 01:05:01 +0000 (03:05 +0200)
committerPeter Kokot <peterkokot@gmail.com>
Tue, 14 May 2019 01:05:01 +0000 (03:05 +0200)
commit231d132f25c72567aae5fa23cdd567b759bd7950
tree32eaf3a3b8979d2038089e5d96c9229d03dc73ab
parentf5194540f15f199f0f23abd320d80ddc770a5bdf
parent44952cd9d4e39cb3b0cf58b33e4d860b346cdc91
Merge branch 'PHP-7.4'

* PHP-7.4:
  Add extensions naming conventions to ext_skel.php