[config.w32] Warn that propro was discontinued

[m6w6/ext-propro] / config.m4

diff --git a/config.m4 b/config.m4
index 1a4965edf4ee3aa65994c079f934f55edadb0ece..3b883c86a242ce14ea2ad46c39bf5353ab320d63 100644 (file)
--- a/config.m4
+++ b/config.m4
@@ -1,7 +1 @@
-PHP_ARG_ENABLE(propro, whether to enable property proxy support,
-[  --enable-propro           Enable property proxy support])
-
-if test "$PHP_PROPRO" != "no"; then
-       PHP_INSTALL_HEADERS(ext/propro, php_propro.h php_propro_api.h)
-       PHP_NEW_EXTENSION(propro, php_propro.c, $ext_shared)
-fi
+sinclude(config0.m4)