From 1c0b4ab96d76f076e3af399f59a36d6b84ff31e8 Mon Sep 17 00:00:00 2001 From: =?utf8?q?=C3=86var=20Arnfj=C3=B6r=C3=B0=20Bjarmason?= Date: Fri, 25 Nov 2005 06:31:22 +0000 Subject: [PATCH] * Whitespace --- index.php | 1 - 1 file changed, 1 deletion(-) diff --git a/index.php b/index.php index dd9d9eb4cf..360f04873c 100644 --- a/index.php +++ b/index.php @@ -3,7 +3,6 @@ * Main wiki script; see docs/design.txt * @package MediaWiki */ - $wgRequestTime = microtime(); unset( $IP ); -- 2.20.1