diff options
Diffstat (limited to 'ext/json/config.w32')
| -rw-r--r-- | ext/json/config.w32 | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ext/json/config.w32 b/ext/json/config.w32 index a3559e08b7..06a48e05ed 100644 --- a/ext/json/config.w32 +++ b/ext/json/config.w32 @@ -6,5 +6,6 @@ ARG_ENABLE("json", "JavaScript Object Serialization support", "yes"); if (PHP_JSON != "no") { EXTENSION('json', 'json.c', PHP_JSON_SHARED, ""); ADD_SOURCES(configure_module_dirname, "JSON_parser.c utf8_decode.c utf8_to_utf16.c", "json"); + PHP_INSTALL_HEADERS("ext/json/", "php_json.h"); } |