*/
use MediaWiki\MediaWikiServices;
+use Wikimedia\Rdbms\ResultWrapper;
/**
* A special page that lists last changes made to the wiki
$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',
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' );
}
$title = new HtmlArmor( '<strong>' . htmlspecialchars( $title ) . '</strong>' );
}
- return $this->getLinkRenderer()->makeKnownLink( $this->getPageTitle(), $title, [], $params );
+ return $this->getLinkRenderer()->makeKnownLink( $this->getPageTitle(), $title, [
+ 'data-params' => json_encode( $override ),
+ 'data-keys' => implode( ',', array_keys( $override ) ),
+ ], $params );
}
/**