diff options
| -rw-r--r-- | main/php_ini.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/main/php_ini.c b/main/php_ini.c index ba58eb1180..fca263e5f0 100644 --- a/main/php_ini.c +++ b/main/php_ini.c @@ -350,6 +350,7 @@ static void php_load_php_extension_cb(void *arg) /* {{{ php_load_zend_extension_cb */ +#ifdef HAVE_LIBDL static void php_load_zend_extension_cb(void *arg) { char *filename = *((char **) arg); @@ -409,6 +410,9 @@ static void php_load_zend_extension_cb(void *arg) efree(libpath); } } +#else +static void php_load_zend_extension_cb(void *arg) { } +#endif /* }}} */ /* {{{ php_init_config |