$pager = new ProtectedTitlesPager( $this, array(), $type, $level, $NS, $sizetype, $size );
- $wgOut->addHTML( $this->showOptions( $NS, $type, $level, $sizetype, $size ) );
+ $wgOut->addHTML( $this->showOptions( $NS, $type, $level ) );
if ( $pager->getNumRows() ) {
$s = $pager->getNavigationBar();
* @param $namespace Integer:
* @param $type string
* @param $level string
- * @param $sizetype Unused
- * @param $size Unused
* @private
*/
- function showOptions( $namespace, $type='edit', $level, $sizetype, $size ) {
+ function showOptions( $namespace, $type='edit', $level ) {
global $wgScript;
$action = htmlspecialchars( $wgScript );
$title = SpecialPage::getTitleFor( 'Protectedtitles' );