Searched refs:readline_info (Results 1 – 6 of 6) sorted by relevance
2 readline_info(): Basic test10 var_dump(readline_info());11 var_dump(readline_info(1));12 var_dump(readline_info(1,1));13 var_dump(readline_info('line_buffer'));14 var_dump(readline_info('readline_name'));15 var_dump(readline_info('readline_name', 1));16 var_dump(readline_info('readline_name'));17 var_dump(readline_info('attempted_completion_over',1));18 var_dump(readline_info('attempted_completion_over'));
8 if (!extension_loaded("readline") || !readline_info("done")) {
6 if (!extension_loaded('readline') || readline_info('done') !== NULL) {
6 if (!extension_loaded('readline') || readline_info('done') === NULL) {
46 PHP_FUNCTION(readline_info);133 PHP_FE(readline_info, arginfo_readline_info)239 PHP_FUNCTION(readline_info) in PHP_FUNCTION() argument
Completed in 13 milliseconds