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