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 function showTocToggle(show,hide) {
  51         if(document.getElementById) {
  52                 document.writeln('<small>[<a href="javascript:toggleToc()" class="internal">' +
  53                 '<span id="showlink" style="display:none;">' + show + '</span>' +
  54                 '<span id="hidelink">' + hide + '</span>'
  55                 + '</a>]</small>');
  56         }
  57 }
  58
  59 function toggleToc() {
  60         var toc = document.getElementById('tocinside');
  61         var showlink=document.getElementById('showlink');
  62         var hidelink=document.getElementById('hidelink');
  63         if(toc.style.display == 'none') {
  64                 toc.style.display = tocWas;
  65                 hidelink.style.display='';
  66                 showlink.style.display='none';
  67
  68         } else {
  69                 tocWas = toc.style.display;
  70                 toc.style.display = 'none';
  71                 hidelink.style.display='none';
  72                 showlink.style.display='';
  73
  74         }
  75 }
  76
  77
  78 /* Temporary hack for Mozilla bug; revert to quirks mode handling of <hr> */
  79 if(navigator.userAgent &&
  80    navigator.userAgent.indexOf('Gecko') != -1 &&
  81    navigator.userAgent.indexOf('KHTML') == -1) {
  82         document.writeln(
  83         '<style type="text/css">\n' +
  84         'hr {\n' +
  85         '  display: inline;\n' +
  86         '  -moz-box-sizing: border-box;\n' +
  87         '  margin: 0 0.1% 0 0.1%;\n' +
  88         '  font-size: -moz-initial !important;\n' +
  89         '}\n' +
  90         'hr:before {\n' +
  91         '  white-space: pre;\n' +
  92         '  content: "\\A";\n' +
  93         '}\n' +
  94         'hr:after {\n' +
  95         '  white-space: pre;\n' +
  96         '  content: "\\A";\n' +
  97         '}\n' +
  98         '</style>');
  99 }
 100