+/* {{{ time_t http_parse_date(char *) */
+PHP_HTTP_API time_t _http_parse_date(const char *date TSRMLS_DC)
+{
+ time_t t = -1;
+
+#ifdef PHP_WIN32
+ /* fix odd offsets with Win32 */
+ char tzput[64] = "TZ=";
+ const char *tzget = NULL;
+
+ if ((tzget = getenv("TZ"))) {
+ strlcat(tzput, tzget, 63);
+ }
+ putenv("TZ=GMT");
+#endif
+
+ t = parse_date(date);
+
+#ifdef PHP_WIN32
+ putenv(tzput);
+#endif
+
+ if (-1 == t) {
+ http_error_ex(HE_NOTICE, HTTP_E_RUNTIME, "Could not parse date: %s", date);
+ }
+
+ return t;
+}
+/* }}} */
+
+/* time_t parse_date(char *)