From f4e839cc2ca653968e72ac819a8afaa67e986d29 Mon Sep 17 00:00:00 2001
From: Tim Starling <tstarling@users.mediawiki.org>
Date: Thu, 3 Jun 2004 09:26:43 +0000
Subject: [PATCH] Server hostname in comment

---
 includes/OutputPage.php | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/includes/OutputPage.php b/includes/OutputPage.php
index 2160e6df80..1753e58ba5 100644
--- 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;
 	}
 
-- 
2.20.1