From 96d5c5e93138088c281c2f9536366a628c60e49c Mon Sep 17 00:00:00 2001
From: =?utf8?q?Johannes=20Schl=C3=BCter?= <johannes@php.net>
Date: Tue, 23 Jun 2009 13:09:34 +0000
Subject: [PATCH] The json header should be installed so other exts can use it

---
 ext/json/config.m4 | 1 +
 1 file changed, 1 insertion(+)

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
-- 
2.50.1