| Index: trunk/phase3/skins/common/ajaxwatch.js |
| — | — | @@ -36,8 +36,8 @@ |
| 37 | 37 | wgAjaxWatch.watchLinks[i].className = |
| 38 | 38 | wgAjaxWatch.watchLinks[i].className.replace( /loading/i, '' ); |
| 39 | 39 | // update the title text on the link |
| 40 | | - var keyCommand = wgAjaxWatch.watchLinks[i].title.match( /\[.*\]/ ) ? |
| 41 | | - wgAjaxWatch.watchLinks[i].title.match( /\[.*\]/ )[0] : ""; |
| | 40 | + var keyCommand = wgAjaxWatch.watchLinks[i].title.match( /\[.*?\]$/ ) ? |
| | 41 | + wgAjaxWatch.watchLinks[i].title.match( /\[.*?\]$/ )[0] : ""; |
| 42 | 42 | wgAjaxWatch.watchLinks[i].title = ( newText == wgAjaxWatch.watchMsg ? |
| 43 | 43 | wgAjaxWatch['tooltip-ca-watchMsg'] : wgAjaxWatch['tooltip-ca-unwatchMsg'] ) |
| 44 | 44 | + " " + keyCommand; |
| Index: trunk/phase3/includes/DefaultSettings.php |
| — | — | @@ -1618,7 +1618,7 @@ |
| 1619 | 1619 | * to ensure that client-side caches do not keep obsolete copies of global |
| 1620 | 1620 | * styles. |
| 1621 | 1621 | */ |
| 1622 | | -$wgStyleVersion = '256'; |
| | 1622 | +$wgStyleVersion = '257'; |
| 1623 | 1623 | |
| 1624 | 1624 | |
| 1625 | 1625 | # Server-side caching: |