Searched refs:readline_add_history (Results 1 – 9 of 9) sorted by relevance
4 <?php if (!extension_loaded("readline") || !function_exists('readline_add_history')) die("skip");12 readline_add_history('foo');13 readline_add_history('');14 readline_add_history(1);15 readline_add_history(NULL);
4 <?php if (!extension_loaded("readline") || !function_exists('readline_add_history')) die("skip");15 readline_add_history('foo');16 readline_add_history('');17 readline_add_history(1);18 readline_add_history(NULL);
2 readline_add_history(): Basic test8 var_dump(readline_add_history('foo'));10 var_dump(readline_add_history(NULL));
4 <?php if (!extension_loaded("readline") || !function_exists('readline_add_history')) die("skip"); ?>
10 readline_add_history("foo");
64 ZEND_FUNCTION(readline_add_history);92 ZEND_FE(readline_add_history, arginfo_readline_add_history)
13 function readline_add_history(string $prompt): bool {} function
269 PHP_FUNCTION(readline_add_history) in PHP_FUNCTION() argument
Completed in 22 milliseconds