]> granicus.if.org Git - php/commitdiff
Install ext/json headers
authorJohannes Schlüter <johannes@php.net>
Wed, 7 Dec 2016 16:50:05 +0000 (17:50 +0100)
committerJohannes Schlüter <johannes@php.net>
Wed, 7 Dec 2016 16:50:05 +0000 (17:50 +0100)
ext/json/config.m4

index fb87a939928dd59edff39ece494cd5ed63c1014d..1411e83faa6359626a68094896c426c58ae5c684 100644 (file)
@@ -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