next_update_time  137 ext/session/php_session.h 	double    next_update_time;
next_update_time 2873 ext/session/session.c 			if (dtv < progress->next_update_time) {
next_update_time 2876 ext/session/session.c 			progress->next_update_time = dtv + PS(rfc1867_min_freq);
next_update_time 2976 ext/session/session.c 				progress->next_update_time = 0.0;