diff --git a/ext/json/config.w32 b/ext/json/config.w32 index c37d9a9025e..c1a8ccfb306 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"); }