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