Update config.w32: drop PHP_HTTP_HAVE_EXT_PROPRO

PHP_HTTP_HAVE_EXT_PROPRO is not used anywhere

diff --git a/config.w32 b/config.w32
index 04c1f75cf0f9682df7ceb964d94714469c760b44..3cc4069d6649ed7bf4f15de5e69145f0c40f0ccc 100644 (file)
--- a/config.w32
+++ b/config.w32
@@ -131,7 +131,6 @@ if (PHP_HTTP != "no") {
                AC_DEFINE("PHP_HTTP_HAVE_SSL", 1, "Have SSL");
                AC_DEFINE("PHP_HTTP_HAVE_LIBCURL_SSL", 1);
                AC_DEFINE("PHP_HTTP_HAVE_LIBCURL_OPENSSL", 1);
                AC_DEFINE("PHP_HTTP_HAVE_SSL", 1, "Have SSL");
                AC_DEFINE("PHP_HTTP_HAVE_LIBCURL_SSL", 1);
                AC_DEFINE("PHP_HTTP_HAVE_LIBCURL_OPENSSL", 1);

-               AC_DEFINE("PHP_HTTP_HAVE_EXT_PROPRO", 1, "");

                AC_DEFINE("PHP_HTTP_HAVE_EXT_RAPHF", 1, "");
                AC_DEFINE("PHP_HTTP_HAVE_CLIENT", 1, "Have HTTP client support");
                AC_DEFINE("PHP_HAVE_CURL_MULTI_STRERROR", 1, "");
                AC_DEFINE("PHP_HTTP_HAVE_EXT_RAPHF", 1, "");
                AC_DEFINE("PHP_HTTP_HAVE_CLIENT", 1, "Have HTTP client support");
                AC_DEFINE("PHP_HAVE_CURL_MULTI_STRERROR", 1, "");