3 $name = tempnam('/tmp', 'readline.tmp');
5 readline_add_history('foo');
6 readline_add_history('');
7 readline_add_history(1);
8 readline_add_history(NULL);
9 var_dump(readline_write_history($name));
10 var_dump(readline_read_history($name));
12 var_dump(file_get_contents($name));
14 readline_clear_history();
15 readline_write_history($name);
16 var_dump(file_get_contents($name));