--TEST-- Bug #72538 (readline_redisplay crashes php) --SKIPIF-- <?php if (!extension_loaded("readline")) die("skip"); if (READLINE_LIB != "libedit") die("skip libedit only"); if (!function_exists("readline_redisplay")) die("skip readline_redisplay not available"); ?> --FILE-- <?php readline_redisplay(); ?> okey --EXPECT-- okey