[config.w32] Warn that propro was discontinued

[m6w6/ext-propro] / config.m4

diff --git a/config.m4 b/config.m4
index 925eebb605b99bfb332225f128356cb0e317e958..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_NEW_EXTENSION(propro, php_propro.c, $ext_shared)
-fi
+sinclude(config0.m4)