JSON: fix config.w32 / Install headers on windows

9 years ago · 618dcd6520
2 changed files with 2 additions and 1 deletions
--- a/1
+++ b/1
@ -578,6 +578,7 @@ PHP                                                                        NEWS

 - JSON:
  . Fixed bug #73526 (php_json_encode depth issue). (Jakub Zelenka)
+  . Install headers on windows. (Darek Slusarczyk)

 - Mysqlnd:
  . Fixed bug #64526 (Add missing mysqlnd.* parameters to php.ini-*). (cmb)
--- 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");
 }