diff options
Diffstat (limited to 'ext/filter/config.w32')
| -rw-r--r-- | ext/filter/config.w32 | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/ext/filter/config.w32 b/ext/filter/config.w32 new file mode 100644 index 000000000..5b1046c9b --- /dev/null +++ b/ext/filter/config.w32 @@ -0,0 +1,8 @@ +// $Id: config.w32,v 1.1 2005/12/01 00:48:13 sniper Exp $ +// 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"); +} |
