From 04028e5e6146d07171b8c9c3b2b80f14bbfb4a8d Mon Sep 17 00:00:00 2001 From: Hannes Magnusson Date: Tue, 6 Sep 2011 11:28:34 +0000 Subject: [PATCH] Mention which library php is using --- ext/readline/readline_cli.c | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/ext/readline/readline_cli.c b/ext/readline/readline_cli.c index cae160caae..c7c5fabec6 100644 --- 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(); } -- 2.50.1