![]() ![]() | ![]() |
1.1 ! misho 1: // $Id: config.w32 306344 2010-12-13 18:43:10Z pajoye $ ! 2: // vim:ft=javascript ! 3: ! 4: ARG_ENABLE("filter", "Filter Support", "yes"); ! 5: ! 6: if (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: }