diff options
Diffstat (limited to 'skins/common/ajaxwatch.js')
-rw-r--r-- | skins/common/ajaxwatch.js | 15 |
1 files changed, 5 insertions, 10 deletions
diff --git a/skins/common/ajaxwatch.js b/skins/common/ajaxwatch.js index b30e4ffd..c8d90b80 100644 --- a/skins/common/ajaxwatch.js +++ b/skins/common/ajaxwatch.js @@ -101,6 +101,11 @@ wgAjaxWatch.processResult = function(request) { if(wgAjaxWatch.timeoutID) { window.clearTimeout(wgAjaxWatch.timeoutID); } + // Bug 12395 - avoid some watch link confusion on edit + var watchthis = document.getElementById("wpWatchthis"); + if( watchthis && response.match(/^<[uw]#>/) ) { + watchthis.checked = response.match(/^<w#>/) ? "checked" : ""; + } return; }; @@ -146,13 +151,3 @@ wgAjaxWatch.onLoad = function() { }; hookEvent("load", wgAjaxWatch.onLoad); - -/** - * @return boolean whether the browser supports XMLHttpRequest - */ -function wfSupportsAjax() { - var request = sajax_init_object(); - var supportsAjax = request ? true : false; - delete request; - return supportsAjax; -} |