mirror of
https://github.com/php/php-src.git
synced 2026-03-26 09:12:14 +01:00
10 lines
308 B
JavaScript
10 lines
308 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_FILTER_SHARED, "/DZEND_ENABLE_STATIC_TSRMLS_CACHE=1");
|
|
PHP_INSTALL_HEADERS("ext/filter", "php_filter.h");
|
|
}
|