the_time          844 ext/standard/info.c 	        time_t the_time;
the_time          847 ext/standard/info.c 	        the_time = time(NULL);
the_time          848 ext/standard/info.c 	        ta = php_localtime_r(&the_time, &tmbuf);