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