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");
6?>
7--FILE--
8<?php
9
10readline_redisplay();
11
12?>
13okey
14--EXPECT--
15okey
16
