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