MediaWiki:Common.js

Note: After saving, you may have to bypass your browser's cache to see the changes.

• Firefox / Safari: Hold Shift while clicking Reload, or press either Ctrl-F5 or Ctrl-R (⌘-R on a Mac)
• Google Chrome: Press Ctrl-Shift-R (⌘-Shift-R on a Mac)
• Internet Explorer: Hold Ctrl while clicking Refresh, or press Ctrl-F5
• Opera: Go to Menu → Settings (Opera → Preferences on a Mac) and then to Privacy & security → Clear browsing data → Cached images and files.

/* Any JavaScript here will be loaded for all users on every page load. */

/*
// Removed browser-specific size fiddling for now.

function getInternetExplorerVersion()
{
   var rv = -1;
   if (navigator.appName == 'Microsoft Internet Explorer')
   {
      var ua = navigator.userAgent;
      var re  = new RegExp("MSIE ([0-9]{1,}[\.0-9]{0,})");
      if (re.exec(ua) != null)
         rv = parseFloat( RegExp.$1 );
   }
   return rv;
}

// For IE8 increase base text size.
if ( getInternetExplorerVersion() == 8 )
{
      var sheet = document.createStyleSheet();
      sheet.addRule( 'body', 'font-size:small;' );
}

// On firefox the whole site is a little small, move it up in size.
if ( navigator && navigator.userAgent )
{
    var ua = navigator.userAgent.toLowerCase();
    if ( ua.indexOf( 'gecko' ) != -1 )
    {
        if ( document.styleSheets )
        {
            var sheet = document.styleSheets[0];

            if ( sheet.cssRules && sheet.insertRule )
            {
                // Adjust size up by setting a rule for font-size:small on body, normally it is
                // set to x-small.
                sheet.insertRule( "body{ font-size:small; }", sheet.cssRules.length );
            }
        }
    }
}
*/