Description:
------------
As of PHP 7.1, the readline extension is compiled into PHP for Windows.  Unfortunately, calling readline() results in the keyboard caret moving to the beginning of the line and clears any output on the line when the first key is pressed on the keyboard.  For example, running the test script on Ubuntu Linux via a SSH terminal session (PHP run from Bash) works as expected (the caret is not moved nor the start of the line changed).

This behavior is most likely a bug in the upstream WinEditLine library.  Documenting it here in bugs.php.net so the author of that library and the larger PHP community are aware of the issue.

This bug may be related to PHP Bug #74489, which describes a similar problem with WinEditLine's readline() most likely not accepting a null value for the prompt parameter.

Keyboard caret positioning information is available via the Windows Console API GetConsoleScreenBufferInfo().

Test script:
---------------
<?php
echo "Name:  ";
readline("");
?>

Expected result:
----------------
Similar behavior to *NIXes.  The "Name:  " string output to the terminal via echo and the keyboard caret correctly appears at the end of the string.

Actual result:
--------------
The "Name:  " string appears but the keyboard caret is placed at the start of the line.  The first keypress results in the displayed text being removed.