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)
commited4c349227aaeb0a850ac641dfde43f54a04d504
treed53b2b12ef989e2b0b328fc7a8f1fa555483d674
parentd109b3dd5c2d6856e0061bb4412d7fcad2822e5d
Update config.w32: drop PHP_HTTP_HAVE_EXT_PROPRO

PHP_HTTP_HAVE_EXT_PROPRO is not used anywhere
config.w32