- Show PHP_VERSION in the banner. Suggested by Chris and others.

diff --git a/sapi/cli/php_cli_server.c b/sapi/cli/php_cli_server.c
index 04d24684e5275a839a65073d431dc370be0c6886..b33c8b0eb7a6c1f4b30791e947bcd5ef3133bde6 100644 (file)
--- a/sapi/cli/php_cli_server.c
+++ b/sapi/cli/php_cli_server.c
@@ -2134,11 +2134,11 @@ int do_cli_server(int argc, char **argv TSRMLS_DC) /* {{{ */
                gettimeofday(&tv, NULL);
                php_localtime_r(&tv.tv_sec, &tm);
                php_asctime_r(&tm, buf);
-               printf("PHP Development Server started at %s"
+               printf("PHP %s Development Server started at %s"
                                "Listening on %s\n"
                                "Document root is %s\n"
                                "Press Ctrl-C to quit.\n",
-                               buf, server_bind_address, document_root);
+                               PHP_VERSION, buf, server_bind_address, document_root);
        }
 
 #if defined(HAVE_SIGNAL_H) && defined(SIGINT)