diff options
Diffstat (limited to 'ext/standard')
| -rw-r--r-- | ext/standard/config.w32 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ext/standard/config.w32 b/ext/standard/config.w32 index 70b250137a..a03235822c 100644 --- a/ext/standard/config.w32 +++ b/ext/standard/config.w32 @@ -21,7 +21,7 @@ EXTENSION("standard", "array.c base64.c basic_functions.c browscap.c \ php_fopen_wrapper.c credits.c css.c var_unserializer.c ftok.c sha1.c \ user_filters.c uuencode.c filters.c proc_open.c \ streamsfuncs.c http.c flock_compat.c", false /* never shared */); - + PHP_INSTALL_HEADERS("", "ext/standard"); if (PHP_MBREGEX != "no") { CHECK_HEADER_ADD_INCLUDE("oniguruma.h", "CFLAGS_STANDARD", PHP_MBREGEX + ";ext\\mbstring\\oniguruma") } |