Remove dead "props" member from date objects
authorNikita Popov <nikita.ppv@gmail.com>
Thu, 18 Apr 2019 13:05:43 +0000 (15:05 +0200)
committerNikita Popov <nikita.ppv@gmail.com>
Thu, 18 Apr 2019 13:05:43 +0000 (15:05 +0200)
commit3974180f92216371a81f8b35702d5a9cb1e3bfad
treec3ed44bf9f6b45e002211268189beb6c09c50254
parentdbaf9b7924737e32998f8e2ce39ca335049042bb
Remove dead "props" member from date objects
ext/date/php_date.h