Searched refs:readline_redisplay (Results 1 – 2 of 2) sorted by relevance
2 Bug #72538 (readline_redisplay crashes php)6 if (!function_exists("readline_redisplay")) die("skip readline_redisplay not available");11 readline_redisplay();
57 PHP_FUNCTION(readline_redisplay);146 PHP_FE(readline_redisplay, arginfo_readline_redisplay)688 PHP_FUNCTION(readline_redisplay) in PHP_FUNCTION() argument
Completed in 6 milliseconds