fix datatype mismatch warning

diff --git a/ext/standard/dl.c b/ext/standard/dl.c
index 6ea69e5b81b5e8faa9f7b72604dfb172fbc04457..a9ca94c0adb3f1ca671d1bbfc5924628ae7ed834 100644 (file)
--- a/ext/standard/dl.c
+++ b/ext/standard/dl.c
@@ -129,7 +129,7 @@ PHPAPI int php_load_extension(char *filename, int type, int start_now TSRMLS_DC)
                }
                libpath = estrdup(filename);
        } else if (extension_dir && extension_dir[0]) {
-               int extension_dir_len = strlen(extension_dir);
+               int extension_dir_len = (int)strlen(extension_dir);
 
                if (IS_SLASH(extension_dir[extension_dir_len-1])) {
                        spprintf(&libpath, 0, "%s%s", extension_dir, filename); /* SAFE */