X-Git-Url: https://git.m6w6.name/?p=m6w6%2Fext-http;a=blobdiff_plain;f=src%2Fphp_http_api.h;h=a4058afbfcb487781ecc5ee27e1dc5c34423fbca;hp=4071f0fba949a6e935e3cc967f9425801718b64e;hb=640b762aa5a5fdf571e44f7a66725c097b7dc0f1;hpb=b2cddc09fda9358c7c2bdfaf487196cb3ff34749

diff --git a/src/php_http_api.h b/src/php_http_api.h
index 4071f0f..a4058af 100644
--- a/src/php_http_api.h
+++ b/src/php_http_api.h
@@ -13,6 +13,14 @@
 #ifndef PHP_HTTP_API_H
 #define PHP_HTTP_API_H
 
+#ifdef __COVERITY_GCC_VERSION_AT_LEAST
+# define _Float128 float
+# define _Float64 float
+# define _Float32 float
+# define _Float64x float
+# define _Float32x float
+#endif
+
 #ifdef HAVE_CONFIG_H
 #include "config.h"
 #endif
@@ -24,7 +32,6 @@
 #include "SAPI.h"
 
 #include "ext/raphf/php_raphf_api.h"
-#include "ext/propro/php_propro_api.h"
 #include "ext/standard/php_string.h"
 #include "ext/spl/spl_iterators.h"
 #include "ext/date/php_date.h"
@@ -80,6 +87,8 @@
 #include "php_http.h"
 #include "php_http_cookie.h"
 #include "php_http_encoding.h"
+#include "php_http_encoding_zlib.h"
+#include "php_http_encoding_brotli.h"
 #include "php_http_info.h"
 #include "php_http_message.h"
 #include "php_http_env.h"