From 3cc6655f3a933253b57435e315d38079224896c9 Mon Sep 17 00:00:00 2001 From: foobar Date: Wed, 15 Aug 2001 22:37:31 +0000 Subject: [PATCH] Add the build time too. Bug: #12774 --- ext/standard/info.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ext/standard/info.c b/ext/standard/info.c index 0227db10eb..bb699beafe 100644 --- a/ext/standard/info.c +++ b/ext/standard/info.c @@ -182,7 +182,7 @@ PHPAPI void php_print_info(int flag TSRMLS_DC) php_info_print_box_end(); php_info_print_table_start(); php_info_print_table_row(2, "System", php_uname ); - php_info_print_table_row(2, "Build Date", __DATE__ ); + php_info_print_table_row(2, "Build Date", __DATE__ " " __TIME__ ); #ifdef CONFIGURE_COMMAND php_info_print_table_row(2, "Configure Command", CONFIGURE_COMMAND ); #endif -- 2.50.1