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