next_update_time  109 ext/session/php_session.h 	double    next_update_time;
next_update_time 2624 ext/session/session.c 			if (dtv < progress->next_update_time) {
next_update_time 2627 ext/session/session.c 			progress->next_update_time = dtv + PS(rfc1867_min_freq);
next_update_time 2727 ext/session/session.c 				progress->next_update_time = 0.0;