PHP_ARG_ENABLE(propro, whether to enable property proxy support, [ --enable-propro Enable property proxy support]) if test "$PHP_PROPRO" != "no"; then PHP_NEW_EXTENSION(propro, php_propro.c, $ext_shared) fi