PHP_DATE_INTERVAL_READ_PROPERTY_I64 4143 ext/date/php_date.c 	PHP_DATE_INTERVAL_READ_PROPERTY_I64("days", days);
PHP_DATE_INTERVAL_READ_PROPERTY_I64 4145 ext/date/php_date.c 	PHP_DATE_INTERVAL_READ_PROPERTY_I64("special_amount", special.amount);