Merge branch 'master' into phpng

diff --git a/config.w32 b/config.w32
index e33ea76210842ed5f6793f7076321d721c43336e..5bdf84e5f1caead56ccca2b650860a3db536c33e 100644 (file)
--- a/config.w32
+++ b/config.w32
@@ -4,4 +4,7 @@ ARG_ENABLE("raphf", "for raphf support", "no");
 \r
 if (PHP_RAPHF == "yes") {\r
                EXTENSION("raphf", "php_raphf.c");\r
+\r
+               AC_DEFINE("HAVE_RAPHF", 1);\r
+               PHP_INSTALL_HEADERS("ext/raphf", "php_raphf.h");\r
 }\r