diff --git a/reference/readline/book.xml b/reference/readline/book.xml index eb02e3b4fa35..5e2822d96e51 100644 --- a/reference/readline/book.xml +++ b/reference/readline/book.xml @@ -3,7 +3,7 @@ - Readline + GNU Readline Readline @@ -11,7 +11,7 @@ &reftitle.intro; The readline functions implement an interface - to the libedit library. These are functions that provide + to the GNU Readline library. These are functions that provide editable command lines. An example being the way Bash allows you to use the arrow keys to insert characters or scroll through command history. Because of the interactive nature of this diff --git a/reference/readline/configure.xml b/reference/readline/configure.xml index c19cda1bf0f5..99ae53e3c2b3 100644 --- a/reference/readline/configure.xml +++ b/reference/readline/configure.xml @@ -3,41 +3,15 @@
&reftitle.install; - To use these functions the CGI or CLI version of PHP must be compiled + To use these functions you must compile the CGI or CLI version of PHP with readline support. You need to configure PHP - . + . + If you want to use the libedit readline replacement, configure PHP + . On Windows this extension is available by default as of PHP 7.1.0. - - &reftitle.changelog; - - - - - - &Version; - &Description; - - - - - 8.4.0 - - Configure option - has been removed in favor of the - which now doesn't - accept a DIR argument anymore in favor of the pkg-config and now links - to the libedit library, a non-GPL replacement for the GNU Readline - library. - - - - - - -