weekYearSet      1079 ext/date/php_date.c 	int                  weekYearSet = 0;
weekYearSet      1122 ext/date/php_date.c 				if(!weekYearSet) { timelib_isoweek_from_date(t->y, t->m, t->d, &isoweek, &isoyear); weekYearSet = 1; }
weekYearSet      1125 ext/date/php_date.c 				if(!weekYearSet) { timelib_isoweek_from_date(t->y, t->m, t->d, &isoweek, &isoyear); weekYearSet = 1; }