DateTimeInterface  458 ext/date/php_date.c 	PHP_ABSTRACT_ME(DateTimeInterface, format, arginfo_date_method_format)
DateTimeInterface  459 ext/date/php_date.c 	PHP_ABSTRACT_ME(DateTimeInterface, getTimezone, arginfo_date_method_timezone_get)
DateTimeInterface  460 ext/date/php_date.c 	PHP_ABSTRACT_ME(DateTimeInterface, getOffset, arginfo_date_method_offset_get)
DateTimeInterface  461 ext/date/php_date.c 	PHP_ABSTRACT_ME(DateTimeInterface, getTimestamp, arginfo_date_method_timestamp_get)
DateTimeInterface  462 ext/date/php_date.c 	PHP_ABSTRACT_ME(DateTimeInterface, diff, arginfo_date_method_diff)
DateTimeInterface  463 ext/date/php_date.c 	PHP_ABSTRACT_ME(DateTimeInterface, __wakeup, NULL)
DateTimeInterface 3671 ext/date/php_date.c 	DATE_CHECK_INITIALIZED(dateobj1->time, DateTimeInterface);
DateTimeInterface 3672 ext/date/php_date.c 	DATE_CHECK_INITIALIZED(dateobj2->time, DateTimeInterface);
DateTimeInterface 3882 ext/date/php_date.c 	DATE_CHECK_INITIALIZED(dateobj->time, DateTimeInterface);