Server hostname in comment

diff --git a/includes/OutputPage.php b/includes/OutputPage.php
index 2160e6d..1753e58 100644 (file)
--- a/includes/OutputPage.php
+++ b/includes/OutputPage.php
@@ -411,8 +411,10 @@ class OutputPage {
                list( $usec, $sec ) = explode( " ", $wgRequestTime );
                $start = (float)$sec + (float)$usec;
                $elapsed = $now - $start;
-               $com = sprintf( "<!-- Time since request: %01.2f secs. -->",
-                 $elapsed );
+               $uname = posix_uname();
+               $hostname = $uname['nodename'];
+               $com = sprintf( "<!-- Served by %s in %01.2f secs. -->",
+                 $hostname, $elapsed );
                return $com;
        }