From: Johannes Schlüter <johannes@php.net>
Date: Tue, 18 Oct 2016 12:48:17 +0000 (+0200)
Subject: Install ext/json headers so that other extension can parse, too
X-Git-Tag: php-7.2.0alpha1~1090
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=b7fe687914759cae706e318c3a4c245c9f71400d;p=php

Install ext/json headers so that other extension can parse, too
---

diff --git a/ext/json/config.m4 b/ext/json/config.m4
index fb87a93992..1411e83faa 100644
--- a/ext/json/config.m4
+++ b/ext/json/config.m4
@@ -15,7 +15,7 @@ PHP_NEW_EXTENSION(json,
 	  json_parser.tab.c \
 	  json_scanner.c,
 	  $ext_shared,, -DZEND_ENABLE_STATIC_TSRMLS_CACHE=1)
-  PHP_INSTALL_HEADERS([ext/json], [php_json.h])
+  PHP_INSTALL_HEADERS([ext/json], [php_json.h php_json_parser.h php_json_scanner.h])
   PHP_ADD_MAKEFILE_FRAGMENT()
   PHP_SUBST(JSON_SHARED_LIBADD)
 fi