diff options
Diffstat (limited to 'main/php_ini.c')
| -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 c8c5ad88f5..5703d1fc0d 100644 --- a/main/php_ini.c +++ b/main/php_ini.c @@ -357,6 +357,10 @@ static void php_load_zend_extension_cb(void *arg) char *filename = *((char **) arg); const int length = (int)strlen(filename); +#ifndef PHP_WIN32 + (void) length; +#endif + if (IS_ABSOLUTE_PATH(filename, length)) { zend_load_extension(filename); } else { |