From 541f2ddaf24bac0dc80662ce24ff3e1f3c35c0d5 Mon Sep 17 00:00:00 2001
From: Stephane Bisson <sbisson@wikimedia.org>
Date: Fri, 3 Mar 2017 12:31:48 -0500
Subject: [PATCH] Unhide rcenhancedfilters preference

This allows it to be used for the beta feature.

It shouldn't change anything for users since
this preference was never configured to be
shown on Special:Preferences anyway.

Bug: T159007
Change-Id: Ie45c09b59bd0a366531490d3062f9f1a60ea2964
---
 includes/DefaultSettings.php               |  4 +---
 includes/specials/SpecialRecentchanges.php | 14 ++------------
 2 files changed, 3 insertions(+), 15 deletions(-)

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index 1a82faf313..3b08e0722d 100644
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -4870,9 +4870,7 @@ $wgDefaultUserOptions = [
 /**
  * An array of preferences to not show for the user
  */
-$wgHiddenPrefs = [
-	'rcenhancedfilters',
-];
+$wgHiddenPrefs = [];
 
 /**
  * Characters to prevent during new account creations.
diff --git a/includes/specials/SpecialRecentchanges.php b/includes/specials/SpecialRecentchanges.php
index 56d866ff26..cdad926d2f 100644
--- a/includes/specials/SpecialRecentchanges.php
+++ b/includes/specials/SpecialRecentchanges.php
@@ -457,12 +457,7 @@ class SpecialRecentChanges extends ChangesListSpecialPage {
 		$panelString = implode( "\n", $panel );
 
 		// Insert a placeholder for RCFilters
-		if ( $this->getUser()->getOption(
-				'rcenhancedfilters',
-				/*default=*/ null,
-				/*ignoreHidden=*/ true
-			)
-		) {
+		if ( $this->getUser()->getOption( 'rcenhancedfilters' ) ) {
 			$this->getOutput()->addHTML(
 				Html::element(
 					'div',
@@ -542,12 +537,7 @@ class SpecialRecentChanges extends ChangesListSpecialPage {
 		parent::addModules();
 		$out = $this->getOutput();
 		$out->addModules( 'mediawiki.special.recentchanges' );
-		if ( $this->getUser()->getOption(
-				'rcenhancedfilters',
-				/*default=*/ null,
-				/*ignoreHidden=*/ true
-			)
-		) {
+		if ( $this->getUser()->getOption( 'rcenhancedfilters' ) ) {
 			$out->addModules( 'mediawiki.rcfilters.filters.ui' );
 			$out->addModuleStyles( 'mediawiki.rcfilters.filters.base.styles' );
 		}
-- 
2.20.1