com php-src: JSON: fix config.w32 / Install headers on windows: NEWS ext/json/config.w32

Commit: 618dcd6520560ad69fc57c46c73528c1755151e6 Author: Darek Slusarczyk <dariusz.slusarczyk@oracle.com> Tue, 8 Aug 2017 15:52:53 +0200 Parents: 4c9fe5a4907b71e72dac5175d6b1952f0077f988 Branches: PHP-7..0 PHP-7.1 PHP-7.2 master Link: http://git.php.net/?p=php-src.git;a=commitdiff;h=618dcd6520560ad69fc57c46c73528c1755151e6 Log: JSON: fix config.w32 / Install headers on windows Changed paths: M NEWS M ext/json/config.w32 Diff: diff --git a/NEWS b/NEWS index 5085cb1..7ff0849 100644 --- a/NEWS +++ b/NEWS @@ -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) diff --git a/ext/json/config.w32 b/ext/json/config.w32 index c37d9a9..c1a8ccf 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"); }