Searched refs:readline_add_history (Results 1 – 9 of 9) sorted by relevance
6 <?php if (!function_exists('readline_add_history')) die("skip");17 readline_add_history('foo');18 readline_add_history('');19 readline_add_history(1);
6 <?php if (!function_exists('readline_add_history')) die("skip");15 readline_add_history('foo');16 readline_add_history('');17 readline_add_history(1);
6 <?php if (!function_exists('readline_add_history')) die("skip");18 readline_add_history('foo');19 readline_add_history('');20 readline_add_history(1);
2 readline_add_history(): Basic test10 var_dump(readline_add_history('foo'));12 var_dump(readline_add_history(''));
6 <?php if (!function_exists('readline_add_history')) die("skip"); ?>
15 readline_add_history("foo");
64 ZEND_FUNCTION(readline_add_history);92 ZEND_FE(readline_add_history, arginfo_readline_add_history)
16 function readline_add_history(string $prompt): bool {} function
272 PHP_FUNCTION(readline_add_history) in PHP_FUNCTION() argument
Completed in 7 milliseconds