diff options
Diffstat (limited to 'ext/filter/config.w32')
| -rw-r--r-- | ext/filter/config.w32 | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/ext/filter/config.w32 b/ext/filter/config.w32 new file mode 100644 index 0000000..b74f3a2 --- /dev/null +++ b/ext/filter/config.w32 @@ -0,0 +1,9 @@ +// $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"); +} |