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


No differences found