php-src/ext/filter/config.w32

10 lines
250 B
Plaintext
Raw Normal View History

2005-12-01 00:48:13 +00:00
// $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");
2005-12-01 00:48:13 +00:00
}