From 8bbe4bd785c75abe640b60b52a47720118c3aac8 Mon Sep 17 00:00:00 2001
From: Fomafix <fomafix@googlemail.com>
Date: Fri, 20 Feb 2015 12:02:59 +0000
Subject: [PATCH] mediawiki.special.preferences.js: Simplify modulo

See:
https://stackoverflow.com/questions/4467539/javascript-modulo-not-behaving

Change-Id: Id3efc7c7a1a57dcbb33ba1272ed5a20428ee6433
---
 .../mediawiki.special/mediawiki.special.preferences.js    | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

diff --git a/resources/src/mediawiki.special/mediawiki.special.preferences.js b/resources/src/mediawiki.special/mediawiki.special.preferences.js
index 2e660ce8ad..6ea7501faa 100644
--- a/resources/src/mediawiki.special/mediawiki.special.preferences.js
+++ b/resources/src/mediawiki.special/mediawiki.special.preferences.js
@@ -223,12 +223,8 @@ jQuery( function ( $ ) {
 		localTime = servertime + minuteDiff;
 
 		// Bring time within the [0,1440) range.
-		while ( localTime < 0 ) {
-			localTime += 1440;
-		}
-		while ( localTime >= 1440 ) {
-			localTime -= 1440;
-		}
+		localTime = ( ( localTime % 1440 ) + 1440 ) % 1440;
+
 		$localtimeHolder.text( mediaWiki.language.convertNumber( minutesToHours( localTime ) ) );
 	}
 
-- 
2.20.1