mirror of
https://github.com/php/php-src.git
synced 2024-10-02 15:26:06 +00:00
10 lines
250 B
JavaScript
10 lines
250 B
JavaScript
// $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");
|
|
}
|