Difference between revisions of "MediaWiki:Common.js"

Revision as of 00:12, 17 June 2010

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

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;
}

if ( getInternetExplorerVersion() == 8 )
{
    window['p-logo'].style.left = '2em';
}