From 0eb71c375db5b1aab6759c0ceb9f905af39b27e7 Mon Sep 17 00:00:00 2001 From: Roan Kattouw Date: Mon, 28 Sep 2009 09:48:35 +0000 Subject: [PATCH] Fix for r56924: don't do any mouseover/mouseout effects while the spinner is being shown. Coding style cleanup will follow. --- includes/DefaultSettings.php | 2 +- skins/common/ajaxwatch.js | 11 +++++++---- 2 files changed, 8 insertions(+), 5 deletions(-) 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 ) { -- 2.20.1