the_time          923 ext/standard/info.c 	        time_t the_time;
the_time          926 ext/standard/info.c 	        the_time = time(NULL);
the_time          927 ext/standard/info.c 	        ta = php_localtime_r(&the_time, &tmbuf);