From 2def45b96a18f8d904b49b2dc34930051aa73a5c Mon Sep 17 00:00:00 2001 From: Adam Miller Date: Wed, 2 Dec 2009 21:43:52 +0000 Subject: [PATCH] Follow change to r59680. Adding a better regex --- includes/DefaultSettings.php | 2 +- skins/common/ajaxwatch.js | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php index 0dd99c6b78..c1bb33aa87 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -1618,7 +1618,7 @@ $wgCacheEpoch = '20030516000000'; * to ensure that client-side caches do not keep obsolete copies of global * styles. */ -$wgStyleVersion = '256'; +$wgStyleVersion = '257'; # Server-side caching: diff --git a/skins/common/ajaxwatch.js b/skins/common/ajaxwatch.js index 2f694e05b2..7f546014fe 100644 --- a/skins/common/ajaxwatch.js +++ b/skins/common/ajaxwatch.js @@ -36,8 +36,8 @@ wgAjaxWatch.setLinkText = function( newText ) { wgAjaxWatch.watchLinks[i].className = wgAjaxWatch.watchLinks[i].className.replace( /loading/i, '' ); // update the title text on the link - var keyCommand = wgAjaxWatch.watchLinks[i].title.match( /\[.*\]/ ) ? - wgAjaxWatch.watchLinks[i].title.match( /\[.*\]/ )[0] : ""; + var keyCommand = wgAjaxWatch.watchLinks[i].title.match( /\[.*?\]$/ ) ? + wgAjaxWatch.watchLinks[i].title.match( /\[.*?\]$/ )[0] : ""; wgAjaxWatch.watchLinks[i].title = ( newText == wgAjaxWatch.watchMsg ? wgAjaxWatch['tooltip-ca-watchMsg'] : wgAjaxWatch['tooltip-ca-unwatchMsg'] ) + " " + keyCommand; -- 2.20.1