php_basename() prototype changed according to latest changes in string.c

diff --git a/ext/standard/php_string.h b/ext/standard/php_string.h
index 14a3195fd21be859d979a43b70dd78989907614c..6de3f38b83ed12a07cbdbc69e49efcc21e50913f 100644 (file)
--- a/ext/standard/php_string.h
+++ b/ext/standard/php_string.h
@@ -100,7 +100,7 @@ PHPAPI char *php_addslashes(char *str, int length, int *new_length, int freeit);
 PHPAPI char *php_addcslashes(char *str, int length, int *new_length, int freeit, char *what, int wlength);
 PHPAPI void php_stripslashes(char *str, int *len);
 PHPAPI void php_stripcslashes(char *str, int *len);
-PHPAPI void php_basename(char *str, int len);
+PHPAPI char *php_basename(char *str, size_t  len);
 PHPAPI void php_dirname(char *str, int len);
 PHPAPI char *php_stristr(unsigned char *s, unsigned char *t, size_t s_len, size_t t_len);
 PHPAPI char *php_str_to_str(char *haystack, int length, char *needle,