php_date_short_day_name  767 ext/date/php_date.c 			case 'D': length = slprintf(buffer, 32, "%s", php_date_short_day_name(t->y, t->m, t->d)); break;
php_date_short_day_name  854 ext/date/php_date.c 							                php_date_short_day_name(t->y, t->m, t->d),