diff options
| author | Anatol Belski <ab@php.net> | 2016-01-15 12:11:36 +0100 |
|---|---|---|
| committer | Anatol Belski <ab@php.net> | 2016-01-15 12:45:56 +0100 |
| commit | 3169d473e907448abd710fa635e239358acadfd1 (patch) | |
| tree | 7f8fe14ea654cee4f4b4714cd2a3d4218c538a22 /ext/readline | |
| parent | d249321116a40d1819fd5d884a2a8a1d00221b3c (diff) | |
| download | php-git-3169d473e907448abd710fa635e239358acadfd1.tar.gz | |
add wineditline info to minfo
Diffstat (limited to 'ext/readline')
| -rw-r--r-- | ext/readline/readline_cli.c | 4 |
1 files changed, 3 insertions, 1 deletions
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(); |