From 3169d473e907448abd710fa635e239358acadfd1 Mon Sep 17 00:00:00 2001 From: Anatol Belski Date: Fri, 15 Jan 2016 12:11:36 +0100 Subject: [PATCH] add wineditline info to minfo --- ext/readline/readline_cli.c | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/ext/readline/readline_cli.c b/ext/readline/readline_cli.c index 62852159e6..6f4e47d42b 100644 --- a/ext/readline/readline_cli.c +++ b/ext/readline/readline_cli.c @@ -786,7 +786,9 @@ PHP_MINFO_FUNCTION(cli_readline) { php_info_print_table_start(); php_info_print_table_header(2, "Readline Support", "enabled"); -#ifndef PHP_WIN32 +#ifdef PHP_WIN32 + php_info_print_table_row(2, "Readline library", "WinEditLine"); +#else php_info_print_table_row(2, "Readline library", (rl_library_version ? rl_library_version : "Unknown")); #endif php_info_print_table_end(); -- 2.40.0