X-Git-Url: https://scripts.mit.edu/gitweb/autoinstalls/mediawiki.git/blobdiff_plain/19e297c21b10b1b8a3acad5e73fc71dcb35db44a..6932310fd58ebef145fa01eb76edf7150284d8ea:/skins/common/prefs.js

diff --git a/skins/common/prefs.js b/skins/common/prefs.js
deleted file mode 100644
index 1eb8e5bf..00000000
--- a/skins/common/prefs.js
+++ /dev/null
@@ -1,138 +0,0 @@
-// Timezone stuff
-// tz in format [+-]HHMM
-window.checkTimezone = function( tz, msg ) {
-	var localclock = new Date();
-	// returns negative offset from GMT in minutes
-	var tzRaw = localclock.getTimezoneOffset();
-	var tzHour = Math.floor( Math.abs( tzRaw ) / 60 );
-	var tzMin = Math.abs( tzRaw ) % 60;
-	var tzString = ( ( tzRaw >= 0 ) ? '-' : '+' ) + ( ( tzHour < 10 ) ? '0' : '' ) + tzHour + ( ( tzMin < 10 ) ? '0' : '' ) + tzMin;
-	if ( tz != tzString ) {
-		var junk = msg.split('$1');
-		document.write( junk[0] + 'UTC' + tzString + junk[1] );
-	}
-};
-
-window.timezoneSetup = function() {
-	var tzSelect = document.getElementById( 'mw-input-wptimecorrection' );
-	var tzTextbox = document.getElementById( 'mw-input-wptimecorrection-other' );
-
-	if ( tzSelect && tzTextbox ) {
-		addHandler( tzSelect, 'change', function( e ) { updateTimezoneSelection( false ); } );
-		addHandler( tzTextbox, 'blur', function( e ) { updateTimezoneSelection( true ); } );
-	}
-
-	updateTimezoneSelection( false );
-};
-
-// in [-]HH:MM format...
-// won't yet work with non-even tzs
-window.fetchTimezone = function() {
-	// FIXME: work around Safari bug
-	var localclock = new Date();
-	// returns negative offset from GMT in minutes
-	var tzRaw = localclock.getTimezoneOffset();
-	var tzHour = Math.floor( Math.abs( tzRaw ) / 60 );
-	var tzMin = Math.abs( tzRaw ) % 60;
-	var tzString = ( ( tzRaw >= 0 ) ? '-' : '' ) + ( ( tzHour < 10 ) ? '0' : '' ) + tzHour +
-		':' + ( ( tzMin < 10 ) ? '0' : '' ) + tzMin;
-	return tzString;
-};
-
-window.guessTimezone = function() {
-	var textbox = document.getElementById( 'mw-input-wptimecorrection-other' );
-	var selector = document.getElementById( 'mw-input-wptimecorrection' );
-
-	selector.value = 'other';
-	textbox.value = fetchTimezone();
-	textbox.disabled = false; // The changed handler doesn't trip, obviously.
-	updateTimezoneSelection( true );
-};
-
-window.updateTimezoneSelection = function( force_offset ) {
-	var selector = document.getElementById( 'mw-input-wptimecorrection' );
-
-	if ( selector.value == 'guess' ) {
-		return guessTimezone();
-	}
-
-	var textbox = document.getElementById( 'mw-input-wptimecorrection-other' );
-	var localtimeHolder = document.getElementById( 'wpLocalTime' );
-	var servertime = document.getElementsByName( 'wpServerTime' )[0].value;
-	var minDiff = 0;
-
-	// Compatibility code.
-	if ( !selector.value ) {
-		selector.value = selector.options[selector.selectedIndex].value;
-	}
-
-	// Handle force_offset
-	if ( force_offset ) {
-		selector.value = 'other';
-	}
-
-	// Get min_diff
-	if ( selector.value == 'other' ) {
-		// Grab data from the textbox, parse it.
-		var diffArr = textbox.value.split(':');
-		if ( diffArr.length == 1 ) {
-			// Specification is of the form [-]XX
-			minDiff = parseInt( diffArr[0], 10 ) * 60;
-		} else {
-			// Specification is of the form [-]XX:XX
-			minDiff = Math.abs( parseInt( diffArr[0], 10 ) ) * 60 + parseInt( diffArr[1], 10 );
-			if ( parseInt( diffArr[0], 10 ) < 0 ) {
-				minDiff = -minDiff;
-			}
-		}
-	} else {
-		// Grab data from the selector value
-		var diffArr = selector.value.split('|');
-		minDiff = parseInt( diffArr[1], 10 );
-	}
-
-	// Gracefully handle non-numbers.
-	if ( isNaN( minDiff ) ) {
-		minDiff = 0;
-	}
-
-	// Determine local time from server time and minutes difference, for display.
-	var localTime = parseInt( servertime, 10 ) + minDiff;
-
-	// Bring time within the [0,1440) range.
-	while ( localTime < 0 ) {
-		localTime += 1440;
-	}
-	while ( localTime >= 1440 ) {
-		localTime -= 1440;
-	}
-
-	// Split to hour and minute
-	var hour = String( Math.floor( localTime / 60 ) );
-	if ( hour.length < 2 ) {
-		hour = '0' + hour;
-	}
-	var min = String(localTime%60);
-	if ( min.length < 2 ) {
-		min = '0' + min;
-	}
-	changeText( localtimeHolder, hour + ':' + min );
-
-	// If the user selected from the drop-down, fill the offset field.
-	if ( selector.value != 'other' ) {
-		hour = String( Math.abs( Math.floor( minDiff / 60 ) ) );
-		if ( hour.length < 2 ) {
-			hour = '0' + hour;
-		}
-		if ( minDiff < 0 ) {
-			hour = '-' + hour;
-		}
-		min = String(minDiff%60);
-		if ( min.length < 2 ) {
-			min = '0' + min;
-		}
-		textbox.value = hour + ':' + min;
-	}
-};
-
-addOnloadHook( timezoneSetup );