when              580 ext/intl/php_intl.c 	ZEND_ARG_INFO( 0, when )
when             1186 ext/session/session.c static inline void strcpy_gmt(char *ubuf, time_t *when) /* {{{ */
when             1192 ext/session/session.c 	res = php_gmtime_r(when, &tm);