From 3c9f343ecbe3295490918ccd75820c41ea4da314 Mon Sep 17 00:00:00 2001 From: Roan Kattouw Date: Wed, 8 May 2019 13:34:54 -0700 Subject: [PATCH] Remove rcenhancedfilters from $wgDefaultUserOptions This preference was removed earlier, but we forgot to clean this up. Bug: T196033 Change-Id: I449bcaf8c031d9d26a6f6be3eb0ef4abc5892611 --- includes/DefaultSettings.php | 1 - 1 file changed, 1 deletion(-) diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php index 4ba18369ea..7112468115 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -4864,7 +4864,6 @@ $wgDefaultUserOptions = [ 'previewonfirst' => 0, 'previewontop' => 1, 'rcdays' => 7, - 'rcenhancedfilters' => 0, 'rcenhancedfilters-disable' => 0, 'rclimit' => 50, 'rows' => 25, // @deprecated since 1.29 No longer used in core -- 2.20.1