From e3da80a5a2d1c93103d2baa87d1421c7ad3e11be Mon Sep 17 00:00:00 2001
From: Brion Vibber <brion@users.mediawiki.org>
Date: Tue, 4 Apr 2006 05:45:38 +0000
Subject: [PATCH] Set $wgRequestTime, so database error exits show the script
 runtime instead of wacky numbers and PHP notices.

---
 maintenance/commandLine.inc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/maintenance/commandLine.inc b/maintenance/commandLine.inc
index f5b28d64ca..a7008eff59 100644
--- a/maintenance/commandLine.inc
+++ b/maintenance/commandLine.inc
@@ -5,6 +5,8 @@
  * @subpackage Maintenance
  */
 
+$wgRequestTime = microtime();
+
 /** */
 # Abort if called from a web server
 if ( isset( $_SERVER ) && array_key_exists( 'REQUEST_METHOD', $_SERVER ) ) {
-- 
2.20.1