diff options
| author | Hannes Magnusson <bjori@php.net> | 2011-09-06 11:28:34 +0000 |
|---|---|---|
| committer | Hannes Magnusson <bjori@php.net> | 2011-09-06 11:28:34 +0000 |
| commit | 04028e5e6146d07171b8c9c3b2b80f14bbfb4a8d (patch) | |
| tree | 0ba2ceebc383750a15975cdbf957844bd8c04d98 /ext/readline/readline_cli.c | |
| parent | f2b8c5395ca9fa1a3fb770807d646cd3c83d88cf (diff) | |
| download | php-git-04028e5e6146d07171b8c9c3b2b80f14bbfb4a8d.tar.gz | |
Mention which library php is using
Diffstat (limited to 'ext/readline/readline_cli.c')
| -rw-r--r-- | ext/readline/readline_cli.c | 5 |
1 files changed, 5 insertions, 0 deletions
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(); } |