php_last_char      82 ext/readline/readline_cli.c static char php_last_char = '\0';
php_last_char     108 ext/readline/readline_cli.c 	php_last_char = str[str_length-1];
php_last_char     678 ext/readline/readline_cli.c 		if (!pager_pipe && php_last_char != '\0' && php_last_char != '\n') {
php_last_char     691 ext/readline/readline_cli.c 		php_last_char = '\0';