
| Path : /usr/src/php/ext/filter/ |
| Current File : //usr/src/php/ext/filter/config.w32 |
// $Id$
// vim:ft=javascript
ARG_ENABLE("filter", "Filter Support", "yes");
if (PHP_FILTER == "yes") {
EXTENSION("filter", "filter.c sanitizing_filters.c logical_filters.c callback_filter.c");
PHP_INSTALL_HEADERS("ext/filter", "php_filter.h");
}