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 | 1efe10a84b79963caff938b27155a08bd777644e (patch) | |
| tree | 7fa426844d0f298b40f2eb5727416a6b22ae1ed4 /ext/readline/readline_cli.c | |
| parent | efc45f8b6013154cc399e2dd34883186be70d79b (diff) | |
| download | php-git-1efe10a84b79963caff938b27155a08bd777644e.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(); } |