diff options
author | Darek Slusarczyk <dariusz.slusarczyk@oracle.com> | 2017-08-08 16:05:13 +0200 |
---|---|---|
committer | Darek Slusarczyk <dariusz.slusarczyk@oracle.com> | 2017-08-08 16:05:13 +0200 |
commit | 86aa1ca9906b5b91d8f63cb0d8facbb4e9019a14 (patch) | |
tree | 18e0f7fe372a987944b94825520db17162e37440 | |
parent | 9ebf813ea44ebbc258da4b48fae3437a7f8b32d6 (diff) | |
parent | 618dcd6520560ad69fc57c46c73528c1755151e6 (diff) | |
download | php-git-86aa1ca9906b5b91d8f63cb0d8facbb4e9019a14.tar.gz |
Merge branch 'PHP-7.0' into PHP-7.1
-rw-r--r-- | ext/json/config.w32 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ext/json/config.w32 b/ext/json/config.w32 index c37d9a9025..c1a8ccfb30 100644 --- a/ext/json/config.w32 +++ b/ext/json/config.w32 @@ -17,6 +17,6 @@ if (PHP_JSON != "no") { ADD_SOURCES(configure_module_dirname, "json_encoder.c json_parser.tab.c json_scanner.c", "json"); - PHP_INSTALL_HEADERS("ext/json/", "php_json.h"); + PHP_INSTALL_HEADERS("ext/json/", "php_json.h php_json_parser.h php_json_scanner.h"); } |