Description:
------------
The readline() function should re-read the window size every time it is called.  The edit line and history get messed up if it doesn't get SIGWINCH (for example, if the window was resized in a child process).

1) Start the test program with a typical 80x40 window.
2) At the first prompt, press up to see that the history displays correctly.
3) Press enter to exit readline() and run less.
4) In less, maximize the terminal window, then quit less.
5) At the second prompt, press up and notice that the history is messed up.


Reproduce code:
---------------
<?
    $s = "";
    for ($i = 65; $i <= 90; $i++)
        $s .= str_repeat(chr($i), 3) . " ";
    readline_add_history($s);

    readline("first> ");
    $p = popen("less", "w");
    fwrite($p, "maximize window");
    pclose($p);
    readline("second> ");
?>