removed unneeded semi-colon
authorAlexandre Emsenhuber <ialex@users.mediawiki.org>
Tue, 16 Jun 2009 12:37:44 +0000 (12:37 +0000)
committerAlexandre Emsenhuber <ialex@users.mediawiki.org>
Tue, 16 Jun 2009 12:37:44 +0000 (12:37 +0000)
includes/Preferences.php

index 5326d70..b73249c 100644 (file)
@@ -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'] =