Followup r83755: You removed them, you didn't deprecate them (there is a difference...

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index 67d9826..56f16e9 100644 (file)
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -3197,18 +3197,6 @@ $wgSecureLogin        = false;
  * @{
  */
 
-/**
- * Allow sysops to ban logged-in users
- * @deprecated since 1.18
- */
-$wgSysopUserBans        = true;
-
-/**
- * Allow sysops to ban IP ranges
- * @deprecated since 1.18; set $wgBlockCIDRLimit to array( 'IPv4' => 32, 'IPv6 => 128 ) instead.
- */
-$wgSysopRangeBans       = true;
-
 /**
  * Number of seconds before autoblock entries expire. Default 86400 = 1 day.
  */