Add the build time too. Bug: #12774

diff --git a/ext/standard/info.c b/ext/standard/info.c
index 0227db10eb761971458e1b3edbddc16932d8923d..bb699beafe5ea395cb465a445c0e49b86b36c55e 100644 (file)
--- 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