Update config.w32: drop PHP_HTTP_HAVE_EXT_PROPRO
authorJan Ehrhardt <github@ehrhardt.nl>
Tue, 1 Dec 2020 15:25:25 +0000 (16:25 +0100)
committerGitHub <noreply@github.com>
Tue, 1 Dec 2020 15:25:25 +0000 (16:25 +0100)
PHP_HTTP_HAVE_EXT_PROPRO is not used anywhere

config.w32

index 04c1f75cf0f9682df7ceb964d94714469c760b44..3cc4069d6649ed7bf4f15de5e69145f0c40f0ccc 100644 (file)
@@ -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_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, "");