$opts = new FormOptions();
- $opts->add( 'days', $wgUser->getDefaultOption('rcdays') );
- $opts->add( 'limit', $wgUser->getDefaultOption('rclimit') );
+ $opts->add( 'days', (int)$wgUser->getDefaultOption('rcdays') );
+ $opts->add( 'limit', (int)$wgUser->getDefaultOption('rclimit') );
$opts->add( 'from', '' );
$opts->add( 'hideminor', false );
global $wgUser, $wgRequest;
$opts = $this->getDefaultOptions();
- $opts['days'] = $wgUser->getOption( 'rcdays', $opts['days'] );
- $opts['limit'] = $wgUser->getOption( 'rclimit', $opts['limit'] );
+ $opts['days'] = (int)$wgUser->getOption( 'rcdays', $opts['days'] );
+ $opts['limit'] = (int)$wgUser->getOption( 'rclimit', $opts['limit'] );
$opts['hideminor'] = $wgUser->getOption( 'hideminor', $opts['hideminor'] );
$opts->fetchValuesFromRequest( $wgRequest );
$panel = array();
$panel[] = rcOptionsPanel( $defaults, $nondefaults );
- $panel[] = '<hr >';
+ $panel[] = '<hr />';
$extraOpts = array();
$extraOpts['namespace'] = $this->namespaceFilterForm( $opts );