From 8c5e5eaef376d11e9de223880310cc1bd008638a Mon Sep 17 00:00:00 2001
From: =?utf8?q?=C3=86var=20Arnfj=C3=B6r=C3=B0=20Bjarmason?=
 <avar@users.mediawiki.org>
Date: Sun, 8 May 2005 11:03:13 +0000
Subject: [PATCH] * Use the user selected format by default

---
 languages/Language.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/languages/Language.php b/languages/Language.php
index 34a2f146f2..028b3e9699 100644
--- a/languages/Language.php
+++ b/languages/Language.php
@@ -2266,12 +2266,12 @@ class Language {
 	* @param bool   $adj whether to adjust the time output according to the
 	*               user configured offset ($timecorrection)
 	* @param mixed  $format what format to return, if it's false output the
-	*               default one.
+	*               default one (default true)
 	* @param string $timecorrection the time offset as returned by
 	*               validateTimeZone() in Special:Preferences
 	* @return string
 	*/
-	function time( $ts, $adj = false, $format = false, $timecorrection = false ) {
+	function time( $ts, $adj = false, $format = true, $timecorrection = false ) {
 		global $wgUser, $wgAmericanDates;
 
 		if ( $adj ) { $ts = $this->userAdjust( $ts, $timecorrection ); }
-- 
2.20.1