From 35656218e6230aefdf8863c095e727a0243b13f8 Mon Sep 17 00:00:00 2001
From: Alexandre Emsenhuber <ialex@users.mediawiki.org>
Date: Tue, 16 Jun 2009 12:37:44 +0000
Subject: [PATCH] removed unneeded semi-colon

---
 includes/Preferences.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/includes/Preferences.php b/includes/Preferences.php
index 5326d700c4..b73249c8fa 100644
--- a/includes/Preferences.php
+++ b/includes/Preferences.php
@@ -489,7 +489,7 @@ class Preferences {
 		$tzSetting = $tzOffset;
 		if (count($tz) > 1 && $tz[0] == 'Offset') {
 			$minDiff = $tz[1];
-			$tzSetting = sprintf( '%+03d:%02d', floor($minDiff/60), abs($minDiff)%60 );;
+			$tzSetting = sprintf( '%+03d:%02d', floor($minDiff/60), abs($minDiff)%60 );
 		}
 		
 		$defaultPreferences['timecorrection'] =
-- 
2.20.1