| Index: trunk/phase3/skins/common/ajaxwatch.js |
| — | — | @@ -159,12 +159,15 @@ |
| 160 | 160 | wgAjaxWatch.imgBasePath = el1.firstChild.firstChild.src |
| 161 | 161 | .replace( /\/vector\/images\/watch_(off|on).gif/, "" ); |
| 162 | 162 | el1.firstChild.onmouseover = function( e ) { |
| 163 | | - this.firstChild.src = wgAjaxWatch.imgBasePath |
| 164 | | - + "/vector/images/watch_over.gif"; |
| | 163 | + if ( !wgAjaxWatch.inprogress ) |
| | 164 | + this.firstChild.src = wgAjaxWatch.imgBasePath |
| | 165 | + + "/vector/images/watch_over.gif"; |
| 165 | 166 | } |
| 166 | 167 | el1.firstChild.onmouseout = function( e ) { |
| 167 | | - this.firstChild.src = wgAjaxWatch.imgBasePath |
| 168 | | - + "/vector/images/watch_" + ( wgAjaxWatch.watching ? "on.gif" : "off.gif"); |
| | 168 | + if ( !wgAjaxWatch.inprogress ) |
| | 169 | + this.firstChild.src = wgAjaxWatch.imgBasePath |
| | 170 | + + "/vector/images/watch_" + ( wgAjaxWatch.watching ? |
| | 171 | + "on.gif" : "off.gif" ); |
| 169 | 172 | } |
| 170 | 173 | } |
| 171 | 174 | } catch( e ) { |
| Index: trunk/phase3/includes/DefaultSettings.php |
| — | — | @@ -1606,7 +1606,7 @@ |
| 1607 | 1607 | * to ensure that client-side caches do not keep obsolete copies of global |
| 1608 | 1608 | * styles. |
| 1609 | 1609 | */ |
| 1610 | | -$wgStyleVersion = '241'; |
| | 1610 | +$wgStyleVersion = '242'; |
| 1611 | 1611 | |
| 1612 | 1612 | |
| 1613 | 1613 | # Server-side caching: |