diff options
Diffstat (limited to 'databases/php72-mysqli/files/patch-mysqli__api.c')
| -rw-r--r-- | databases/php72-mysqli/files/patch-mysqli__api.c | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/databases/php72-mysqli/files/patch-mysqli__api.c b/databases/php72-mysqli/files/patch-mysqli__api.c new file mode 100644 index 000000000000..fb3da08524e6 --- /dev/null +++ b/databases/php72-mysqli/files/patch-mysqli__api.c @@ -0,0 +1,13 @@ +--- mysqli_api.c.orig 2020-01-07 10:40:30 UTC ++++ mysqli_api.c +@@ -33,8 +33,9 @@ + #include "zend_smart_str.h" + #include "php_mysqli_structs.h" + #include "mysqli_priv.h" ++#if defined(MYSQLI_USE_MYSQLND) + #include "ext/mysqlnd/mysql_float_to_double.h" +- ++#endif + + #if !defined(MYSQLI_USE_MYSQLND) + /* {{{ mysqli_tx_cor_options_to_string */ |