From 9e9441f28738633bd6aa4dd1d75c08a896a45a55 Mon Sep 17 00:00:00 2001
From: Alexandre Emsenhuber <ialex@users.mediawiki.org>
Date: Sat, 8 Jan 2011 14:19:53 +0000
Subject: [PATCH] No longer correct

---
 includes/DefaultSettings.php | 1 -
 1 file changed, 1 deletion(-)

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index ebd1b3f00a..a7242a7fd0 100644
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -5062,7 +5062,6 @@ $wgAjaxExportList = array( 'wfAjaxGetFileUrl' );
 /**
  * Enable watching/unwatching pages using AJAX.
  * Requires $wgUseAjax to be true too.
- * Causes wfAjaxWatch to be added to $wgAjaxExportList
  */
 $wgAjaxWatch = true;
 
-- 
2.20.1