xref: /PHP-5.4/ext/filter/config.w32 (revision aea6771d) 
1// $Id$
2// vim:ft=javascript
3
4ARG_ENABLE("filter", "Filter Support", "yes");
5
6if (PHP_FILTER == "yes") {
7	EXTENSION("filter", "filter.c sanitizing_filters.c logical_filters.c callback_filter.c");
8	PHP_INSTALL_HEADERS("ext/filter", "php_filter.h");
9}
10