diff --git a/ext/standard/info.c b/ext/standard/info.c index 30a518c5b4f..76265e41d85 100644 --- a/ext/standard/info.c +++ b/ext/standard/info.c @@ -373,7 +373,7 @@ PHPAPI void php_info_print_table_header(int num_cols, ...) va_start(row_elements, num_cols); - php_printf("