Use dashes and short day name in cookies since some browsers seem picky

about this
@ Use dashes and short day name in cookies since some browsers seem picky
@ about this (Rasmus)

diff --git a/ext/standard/datetime.c b/ext/standard/datetime.c
index 91185c6caa1c80489dbb5c52df198bf51c215a69..2c4622ac0b7319538e3b2c99964710b33bfd76a5 100644 (file)
--- a/ext/standard/datetime.c
+++ b/ext/standard/datetime.c
@@ -584,7 +584,7 @@ char *php_std_date(time_t t)
        tm1 = php_gmtime_r(&t, &tmbuf);
        str = emalloc(81);
        if (PG(y2k_compliance)) {
-               snprintf(str, 80, "%s, %02d %s %04d %02d:%02d:%02d GMT",
+               snprintf(str, 80, "%s, %02d-%s-%04d %02d:%02d:%02d GMT",
                                day_short_names[tm1->tm_wday],
                                tm1->tm_mday,
                                mon_short_names[tm1->tm_mon],
@@ -592,7 +592,7 @@ char *php_std_date(time_t t)
                                tm1->tm_hour, tm1->tm_min, tm1->tm_sec);
        } else {
                snprintf(str, 80, "%s, %02d-%s-%02d %02d:%02d:%02d GMT",
-                               day_full_names[tm1->tm_wday],
+                               day_short_names[tm1->tm_wday],
                                tm1->tm_mday,
                                mon_short_names[tm1->tm_mon],
                                ((tm1->tm_year)%100),