From 72083d481f260f6bb9209363c050b93816eabb2c Mon Sep 17 00:00:00 2001
From: Rotem Liss <rotem@users.mediawiki.org>
Date: Sun, 19 Apr 2009 20:30:37 +0000
Subject: [PATCH] Follow-up to r49646: Untested fix for the problem that bots
 are now not hidden by default in Special:Recentchanges.

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

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index 2684ef5087..47ae300be7 100644
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -2444,6 +2444,7 @@ $wgDefaultUserOptions = array(
 	'rclimit'                 => 50,
 	'wllimit'                 => 250,
 	'hideminor'               => 0,
+	'rc_hidebots'             => 1,
 	'hidepatrolled'           => 0,
 	'newpageshidepatrolled'   => 0,
 	'highlightbroken'         => 1,
-- 
2.20.1