Mention which library php is using

diff --git a/ext/readline/readline_cli.c b/ext/readline/readline_cli.c
index cae160caaeb132f64722e13e8d6f3ad0510dbc66..c7c5fabec69458d1bb8d585e67cf61b95d735c32 100644 (file)
--- a/ext/readline/readline_cli.c
+++ b/ext/readline/readline_cli.c
@@ -743,6 +743,11 @@ PHP_MSHUTDOWN_FUNCTION(cli_readline)
 
 PHP_MINFO_FUNCTION(cli_readline)
 {
+       php_info_print_table_start();
+       php_info_print_table_header(2, "Readline Support", "enabled");
+       php_info_print_table_row(2, "Readline library", (rl_library_version ? rl_library_version : "Unknown"));
+       php_info_print_table_end();
+
        DISPLAY_INI_ENTRIES();
 }