Add a constant, READLINE_LIB, to be able to differenciate which lib is being used

diff --git a/ext/readline/readline_cli.c b/ext/readline/readline_cli.c
index c7c5fabec69458d1bb8d585e67cf61b95d735c32..7476b417b1bd6bacb828c03b4898b277bd844af1 100644 (file)
--- a/ext/readline/readline_cli.c
+++ b/ext/readline/readline_cli.c
@@ -715,6 +715,12 @@ PHP_MINIT_FUNCTION(cli_readline)
        ZEND_INIT_MODULE_GLOBALS(cli_readline, cli_readline_init_globals, NULL);
        REGISTER_INI_ENTRIES();
 
+#if HAVE_LIBEDIT
+       REGISTER_STRING_CONSTANT("READLINE_LIB", "libedit", CONST_CS|CONST_PERSISTENT);
+#else
+       REGISTER_STRING_CONSTANT("READLINE_LIB", "readline", CONST_CS|CONST_PERSISTENT);
+#endif
+
        GET_SHELL_CB(cb);
        if (cb) {
                cb->cli_shell_write = readline_shell_write;