diff options
Diffstat (limited to 'ext/readline/readline.c')
| -rw-r--r-- | ext/readline/readline.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/ext/readline/readline.c b/ext/readline/readline.c index 071bb0810f..223b5b36ca 100644 --- a/ext/readline/readline.c +++ b/ext/readline/readline.c @@ -253,7 +253,7 @@ PHP_FUNCTION(readline_info) Adds a line to the history */ PHP_FUNCTION(readline_add_history) { - pval **arg; + zval **arg; int ac = ZEND_NUM_ARGS(); if (ac != 1 || zend_get_parameters_ex(ac, &arg) == FAILURE) { @@ -312,7 +312,7 @@ PHP_FUNCTION(readline_list_history) Reads the history */ PHP_FUNCTION(readline_read_history) { - pval **arg; + zval **arg; char *filename = NULL; int ac = ZEND_NUM_ARGS(); @@ -339,7 +339,7 @@ PHP_FUNCTION(readline_read_history) Writes the history */ PHP_FUNCTION(readline_write_history) { - pval **arg; + zval **arg; char *filename = NULL; int ac = ZEND_NUM_ARGS(); |