php_std_date     1119 ext/session/session.c 			date_fmt = php_std_date(t TSRMLS_CC);
php_std_date       29 ext/standard/datetime.h PHPAPI char *php_std_date(time_t t TSRMLS_DC);