From b9b85843572bf283f48285001e276ba7e61b63f6 Mon Sep 17 00:00:00 2001
From: Pierre Schmitz <pierre@archlinux.de>
Date: Sun, 22 Feb 2009 13:37:51 +0100
Subject: updated to MediaWiki 1.14.0

---
 skins/common/ajaxwatch.js | 15 +++++----------
 1 file changed, 5 insertions(+), 10 deletions(-)

(limited to 'skins/common/ajaxwatch.js')

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;
-}
-- 
cgit v1.2.3-54-g00ecf