| files >> /php-7.1.11/ext/readline/tests/ |
| files >> //php-7.1.11/ext/readline/tests/bug72538.phpt |
--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
y~or5J ={Eeu磝Qk ᯘG{?+]ן?wM3X^歌>{7پK>on\jy R g/=fOroNVv~Y+ NGuÝHWyw[eQʨSb> >}Gmx[o[<{Ϯ_qF vM IENDB`