From: Johannes Schlüter <johannes@php.net>
Date: Sat, 9 Jan 2010 16:49:46 +0000 (+0000)
Subject: Install ext/json/php_son.h, too.
X-Git-Tag: php-5.2.13RC1~40
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=e28d042bb993046ef20c107b01b5d7462a4713ff;p=php

Install ext/json/php_son.h, too.
# already done in other branches
---

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