From: Roan Kattouw <catrope@users.mediawiki.org>
Date: Mon, 28 Sep 2009 09:48:35 +0000 (+0000)
Subject: Fix for r56924: don't do any mouseover/mouseout effects while the spinner is being... 
X-Git-Tag: 1.31.0-rc.0~39491
X-Git-Url: http://git.cyclocoop.org/%24action?a=commitdiff_plain;h=0eb71c375db5b1aab6759c0ceb9f905af39b27e7;p=lhc%2Fweb%2Fwiklou.git

Fix for r56924: don't do any mouseover/mouseout effects while the spinner is being shown. Coding style cleanup will follow.
---

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index d86f1cbac9..87edd1be9a 100644
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -1606,7 +1606,7 @@ $wgCacheEpoch = '20030516000000';
  * to ensure that client-side caches do not keep obsolete copies of global
  * styles.
  */
-$wgStyleVersion = '241';
+$wgStyleVersion = '242';
 
 
 # Server-side caching:
diff --git a/skins/common/ajaxwatch.js b/skins/common/ajaxwatch.js
index 76d3734e2e..2e1db0d5a2 100644
--- a/skins/common/ajaxwatch.js
+++ b/skins/common/ajaxwatch.js
@@ -159,12 +159,15 @@ wgAjaxWatch.onLoad = function() {
   	  wgAjaxWatch.imgBasePath = el1.firstChild.firstChild.src
 				.replace( /\/vector\/images\/watch_(off|on).gif/, "" );
   	  el1.firstChild.onmouseover = function( e ) {
-  	    this.firstChild.src = wgAjaxWatch.imgBasePath
-					+ "/vector/images/watch_over.gif";
+  	    if ( !wgAjaxWatch.inprogress )
+  		this.firstChild.src = wgAjaxWatch.imgBasePath
+			+ "/vector/images/watch_over.gif";
   	  }
   	  el1.firstChild.onmouseout = function( e ) {
-  	    this.firstChild.src = wgAjaxWatch.imgBasePath
-					+ "/vector/images/watch_" + ( wgAjaxWatch.watching ? "on.gif" : "off.gif");
+  	    if ( !wgAjaxWatch.inprogress )
+		this.firstChild.src = wgAjaxWatch.imgBasePath
+			+ "/vector/images/watch_" + ( wgAjaxWatch.watching ?
+				"on.gif" : "off.gif" );
   	  }
   	}
 	} catch( e ) {