date_format       172 ext/date/php_date.c 	PHP_FE(date_format, NULL)
date_format       203 ext/date/php_date.c 	PHP_ME_MAPPING(format,		date_format,		NULL, 0)
date_format       918 ext/date/php_date.c 	string = date_format(format, format_len, t, localtime);
date_format      1922 ext/date/php_date.c 	RETURN_STRING(date_format(format, format_len, dateobj->time, dateobj->time->is_localtime), 0);