day_full_names   1027 ext/date/php_date.c static char *day_full_names[] = {
day_full_names   1057 ext/date/php_date.c 	return day_full_names[day_of_week];
day_full_names     44 ext/standard/datetime.c char *day_full_names[] = {