stylesheets/wikibits.js

   1 // Wikipedia JavaScript support functions
   2
   3 // for enhanced RecentChanges
   4 function toggleVisibility( _levelId, _otherId, _linkId) {
   5         var thisLevel = document.getElementById( _levelId );
   6         var otherLevel = document.getElementById( _otherId );
   7         var linkLevel = document.getElementById( _linkId );
   8         if ( thisLevel.style.display == 'none' ) {
   9                 thisLevel.style.display = 'block';
  10                 otherLevel.style.display = 'none';
  11                 linkLevel.style.display = 'inline';
  12         } else {
  13                 thisLevel.style.display = 'none';
  14                 otherLevel.style.display = 'inline';
  15                 linkLevel.style.display = 'none';
  16                 }
  17         }
  18
  19 // Timezone stuff
  20 // tz in format [+-]HHMM
  21 function checkTimezone( tz, msg ) {
  22         var localclock = new Date();
  23         // returns negative offset from GMT in minutes
  24         var tzRaw = localclock.getTimezoneOffset();
  25         var tzHour = Math.floor( Math.abs(tzRaw) / 60);
  26         var tzMin = Math.abs(tzRaw) % 60;
  27         var tzString = ((tzRaw >= 0) ? "-" : "+") + ((tzHour < 10) ? "0" : "") + tzHour + ((tzMin < 10) ? "0" : "") + tzMin;
  28         if( tz != tzString ) {
  29                 var junk = msg.split( '$1' );
  30                 document.write( junk[0] + "UTC" + tzString + junk[1] );
  31         }
  32 }
  33
  34 // in [-][H]H format...
  35 // won't yet work with non-even tzs
  36 function fetchTimezone() {
  37         // FIXME: work around Safari bug
  38         var localclock = new Date();
  39         // returns negative offset from GMT in minutes
  40         var tzRaw = localclock.getTimezoneOffset();
  41         var tzHour = Math.floor( Math.abs(tzRaw) / 60);
  42         var tzString = ((tzRaw >= 0) ? "-" : "") + ((tzHour < 10) ? "" : "0") + tzHour;
  43         return tzString;
  44 }
  45
  46 function guessTimezone(box) {
  47         document.preferences.wpHourDiff.value = fetchTimezone();
  48 }
  49
  50 var tocShow, tocHide;
  51 function showTocToggle(show,hide) {
  52         if(document.getElementById) {
  53                 document.writeln('<small>[<a href="javascript:toggleToc()" id="toctoggle">' +
  54                         hide + '/' + show + '</a>]</small>');
  55                 tocShow = show;
  56                 tocHide = hide;
  57         }
  58 }
  59
  60 function toggleToc() {
  61         var toc = document.getElementById('tocinside');
  62         var tog = document.getElementById('toctoggle');
  63         if(toc.style.display == 'none') {
  64                 toc.style.display = tocWas;
  65                 // tog.innerHtml = tocHide;
  66         } else {
  67                 tocWas = toc.style.display;
  68                 toc.style.display = 'none';
  69                 // tog.innerHtml = tocShow;
  70         }
  71 }
  72