diff options
Diffstat (limited to 'databases/php73-mysqli/files/patch-mysqli__api.c')
| -rw-r--r-- | databases/php73-mysqli/files/patch-mysqli__api.c | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/databases/php73-mysqli/files/patch-mysqli__api.c b/databases/php73-mysqli/files/patch-mysqli__api.c new file mode 100644 index 000000000000..2d88e061f9da --- /dev/null +++ b/databases/php73-mysqli/files/patch-mysqli__api.c @@ -0,0 +1,13 @@ +--- mysqli_api.c.orig 2019-12-17 10:29:23 UTC ++++ mysqli_api.c +@@ -31,8 +31,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 */ |