Clean up DefaultSettings.php documentation for (now useless) $wgRateLimitsExcludedGroups

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index 6f6239b..9b72283 100644 (file)
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -2838,10 +2838,10 @@ $wgRateLimitLog = null;
 /**
  * Array of groups which should never trigger the rate limiter
  * 
- * @deprecated as of 1.13, use $wgGroupPermissions[]['noratelimit']
- * instead.
+ * Removed as of 1.13, use $wgGroupPermissions[]['noratelimit'] instead.
+ * User::isPingLimitable() uses it now.
  */
-$wgRateLimitsExcludedGroups = array();
+# $wgRateLimitsExcludedGroups = array();
 
 /**
  * On Special:Unusedimages, consider images "used", if they are put