php_last_char      83 ext/readline/readline_cli.c static char php_last_char = '\0';
php_last_char     109 ext/readline/readline_cli.c 	php_last_char = str[str_length-1];
php_last_char     687 ext/readline/readline_cli.c 		if (!pager_pipe && php_last_char != '\0' && php_last_char != '\n') {
php_last_char     700 ext/readline/readline_cli.c 		php_last_char = '\0';