1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
--TEST-- Bug #72538 (readline_redisplay crashes php) --SKIPIF-- <?php if (!extension_loaded("readline")) die("skip"); if (READLINE_LIB != "libedit") die("skip libedit only"); ?> --FILE-- <?php readline_redisplay(); ?> okey --EXPECT-- okey