readline_write_history   52 ext/readline/readline.c PHP_FUNCTION(readline_write_history);
readline_write_history  140 ext/readline/readline.c 	PHP_FE(readline_write_history, 		arginfo_readline_write_history)
readline_write_history  421 ext/readline/readline.c PHP_FUNCTION(readline_write_history)