diff options
Diffstat (limited to 'ext/xml')
| -rw-r--r-- | ext/xml/config.w32 | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/ext/xml/config.w32 b/ext/xml/config.w32 index ed0352701b..4ee0bd1602 100644 --- a/ext/xml/config.w32 +++ b/ext/xml/config.w32 @@ -11,8 +11,9 @@ if (PHP_XML == "yes") { if (!PHP_XML_SHARED) { ADD_FLAG("CFLAGS_XML", "/D LIBXML_STATIC "); } + PHP_INSTALL_HEADERS("", "ext/xml"); } else { WARNING("xml support can't be enabled, libraries or headers are missing") PHP_ZLIB = "no" } -}
\ No newline at end of file +} |