]> granicus.if.org Git - php/commit
Merge branch 'PHP-7.3' into PHP-7.4
authorNikita Popov <nikita.ppv@gmail.com>
Thu, 7 Nov 2019 13:42:11 +0000 (14:42 +0100)
committerNikita Popov <nikita.ppv@gmail.com>
Thu, 7 Nov 2019 13:42:11 +0000 (14:42 +0100)
commit6ddb381ae5b6f6063d5d8295c3ed8da9a0383562
treea0f1a47104fde866b793e6982b5eb6c168d3641c
parente19f0e86dc4ed3395595ca87b02d2d62389c4ee0
parentb9dfa12853c0f43ce76221d54cfd0568f674bac1
Merge branch 'PHP-7.3' into PHP-7.4

* PHP-7.3:
  Wrap hrtime in `extern "c" {}`
ext/standard/hrtime.h