]> granicus.if.org Git - php/commit
projects / php / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7dd52cb) | patch
Fix for #73837: "new DateTime()" with a cast to double
authorDerick Rethans <github@derickrethans.nl>
Mon, 20 Mar 2017 17:48:15 +0000 (17:48 +0000)
committerDerick Rethans <github@derickrethans.nl>
Mon, 20 Mar 2017 17:48:15 +0000 (17:48 +0000)
commit2b7c3831cdc9a0e708040af37d8cf8967755bce3
tree6461785ba9486743ee736dadc1b263b4ec8cb630tree | snapshot
parent7dd52cbcddbd2af7ea64edc4a3cb337aa68cefe9commit | diff
Fix for #73837: "new DateTime()" with a cast to double
ext/date/php_date.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.