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();
82 ZEND_FUNCTION(readline_redisplay);110 ZEND_FE(readline_redisplay, arginfo_readline_redisplay)
42 function readline_redisplay(): void {} function
569 PHP_FUNCTION(readline_redisplay) in PHP_FUNCTION() argument
Completed in 10 milliseconds