diff options
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(); } |