Searched refs:readline_add_history (Results 1 – 11 of 11) 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");
17 readline_add_history('123');
57 ZEND_FUNCTION(readline_add_history);78 ZEND_FE(readline_add_history, arginfo_readline_add_history)
16 function readline_add_history(string $prompt): true {} function
292 PHP_FUNCTION(readline_add_history) in PHP_FUNCTION() argument
124 . The return types of readline_add_history(), readline_clear_history(), and
Completed in 18 milliseconds