day_short_names  1031 ext/date/php_date.c static char *day_short_names[] = {
day_short_names  1066 ext/date/php_date.c 	return day_short_names[day_of_week];
day_short_names    48 ext/standard/datetime.c char *day_short_names[] = {
day_short_names    68 ext/standard/datetime.c 			day_short_names[tm1->tm_wday],