Peter Kokot b9582e11e4 Remove GNU Readline in favor of libedit (#3745) ...

The libedit library is a non-GPL replacement for the GNU Readline
library.

2024-09-23 10:37:15 +01:00

..

functions

readline_info()'s details depend on the used library

2022-09-01 15:18:02 +02:00

book.xml

Remove GNU Readline in favor of libedit (#3745)

2024-09-23 10:37:15 +01:00

configure.xml

Remove GNU Readline in favor of libedit (#3745)

2024-09-23 10:37:15 +01:00

constants.xml

Remove GNU Readline in favor of libedit (#3745)

2024-09-23 10:37:15 +01:00

ini.xml

[skip-revcheck] Replace PHP_INI_* with INI_* constants

2024-01-26 14:00:36 +00:00

reference.xml

Converted to utf-8

2010-03-28 22:10:10 +00:00

setup.xml

Remove GNU Readline in favor of libedit (#3745)

2024-09-23 10:37:15 +01:00

versions.xml

Added PHP 8 into versions.xml for readline based on stubs.

2021-01-24 15:44:46 +01:00