| 1234567891011121314151617 |
- --TEST--
- Bug #72538 (readline_redisplay crashes php)
- --EXTENSIONS--
- readline
- --SKIPIF--
- <?php 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
|
