Move wfSupportsAjax() to ajax.js

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index f83fa7a..654f0cf 100644 (file)
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -1373,7 +1373,7 @@ $wgCacheEpoch = '20030516000000';
  * to ensure that client-side caches don't keep obsolete copies of global
  * styles.
  */
-$wgStyleVersion = '164';
+$wgStyleVersion = '165';
 
 
 # Server-side caching:

diff --git a/skins/common/ajax.js b/skins/common/ajax.js
index 854d7a0..afcfa70 100644 (file)
--- a/skins/common/ajax.js
+++ b/skins/common/ajax.js
@@ -154,3 +154,14 @@ function sajax_do_call(func_name, args, target) {
 
        return true;
 }
+
+/**
+ * @return boolean whether the browser supports XMLHttpRequest
+ */
+function wfSupportsAjax() {
+       var request = sajax_init_object();
+       var supportsAjax = request ? true : false;
+       delete request;
+       return supportsAjax;
+}
+

diff --git a/skins/common/ajaxwatch.js b/skins/common/ajaxwatch.js
index b30e4ff..d7c0625 100644 (file)
--- a/skins/common/ajaxwatch.js
+++ b/skins/common/ajaxwatch.js
@@ -146,13 +146,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;
-}