Searched refs:readline_redisplay (Results 1 – 4 of 4) sorted by relevance
2 Bug #72538 (readline_redisplay crashes php)7 if (!function_exists("readline_redisplay")) die("skip readline_redisplay not available");12 readline_redisplay();
69 ZEND_FUNCTION(readline_redisplay);90 ZEND_FE(readline_redisplay, arginfo_readline_redisplay)
42 function readline_redisplay(): void {} function
584 PHP_FUNCTION(readline_redisplay) in PHP_FUNCTION() argument
Completed in 18 milliseconds