The constants below are defined by this extension, and
will only be available when the extension has either
been compiled into PHP or dynamically loaded at runtime.
READLINE_LIB
(string)
The library which is used for readline support; currently either
readline or libedit.