]> granicus.if.org Git - php/commit
Merge branch 'PHP-7.2'
authorRemi Collet <remi@php.net>
Tue, 22 Aug 2017 10:55:29 +0000 (12:55 +0200)
committerRemi Collet <remi@php.net>
Tue, 22 Aug 2017 10:55:29 +0000 (12:55 +0200)
commit1fdfcc2bb0d18cc1a2ae3ab8bd985165bbef504d
tree1f1640f0ff66de1ad2e9f84fd85502e74bbc7631
parent85fe49cf104d6e50c140815203f0bded5bf40b6e
parentf4792750a56e02d6f385192823dd3e6f0f5a9bcc
Merge branch 'PHP-7.2'

* PHP-7.2:
  timelib now have a function for this, use it