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
/**
* An array of preferences to not show for the user
*/
/**
* An array of preferences to not show for the user
*/
-$wgHiddenPrefs = [
- 'rcenhancedfilters',
-];
/**
* Characters to prevent during new account creations.
/**
* Characters to prevent during new account creations.
$panelString = implode( "\n", $panel );
// Insert a placeholder for RCFilters
$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',
$this->getOutput()->addHTML(
Html::element(
'div',
parent::addModules();
$out = $this->getOutput();
$out->addModules( 'mediawiki.special.recentchanges' );
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' );
}
$out->addModules( 'mediawiki.rcfilters.filters.ui' );
$out->addModuleStyles( 'mediawiki.rcfilters.filters.base.styles' );
}