From: Johannes Schlüter <johannes@php.net>
Date: Tue, 23 Jun 2009 13:09:20 +0000 (+0000)
Subject: The json header should be installed so other exts can use it
X-Git-Tag: php-5.4.0alpha1~191^2~3260
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=8279c0368143b2c099585b628d8463e5f9426a4c;p=php

The json header should be installed so other exts can use it
---

diff --git a/ext/json/config.m4 b/ext/json/config.m4
index ade797a12d..b62e938421 100644
--- a/ext/json/config.m4
+++ b/ext/json/config.m4
@@ -10,5 +10,6 @@ if test "$PHP_JSON" != "no"; then
   AC_HEADER_STDC
 
   PHP_NEW_EXTENSION(json, json.c utf8_to_utf16.c utf8_decode.c JSON_parser.c, $ext_shared)
+  PHP_INSTALL_HEADERS([ext/json], [php_json.h])
   PHP_SUBST(JSON_SHARED_LIBADD)
 fi