date_fmt 1340 ext/session/session.c char *date_fmt = NULL; date_fmt 1375 ext/session/session.c date_fmt = php_format_date("D, d-M-Y H:i:s T", sizeof("D, d-M-Y H:i:s T")-1, t, 0 TSRMLS_CC); date_fmt 1377 ext/session/session.c smart_str_appends(&ncookie, date_fmt); date_fmt 1378 ext/session/session.c efree(date_fmt);