date_interval_write_property 572 date/php_date.c void date_interval_write_property(zval *object, zval *member, zval *value, const zend_literal *key TSRMLS_DC); date_interval_write_property 1940 date/php_date.c date_object_handlers_interval.write_property = date_interval_write_property;