- don't convert original $_SERVER entry to string

[m6w6/ext-http] / config.w32

diff --git a/config.w32 b/config.w32
index c5240375df1dd4f1dccc92be7099d812057e7102..1ec34d1b640de85f26c332e2dd40af1446e45555 100644 (file)
--- a/config.w32
+++ b/config.w32
@@ -56,7 +56,7 @@ if (PHP_HTTP != "no") {
                "http_filter_api.c http_request_body_api.c http_querystring_object.c "+
                "http_deflatestream_object.c http_inflatestream_object.c "+
                "http_cookie_api.c http_querystring_api.c http_request_datashare_api.c "+
-               "http_requestdatashare_object.c",
+               "http_requestdatashare_object.c http_request_info.c",
                null,
                "/I\"" + configure_module_dirname + "/phpstr\"");
        ADD_SOURCES(configure_module_dirname + "/phpstr", "phpstr.c", "http");