| Index: trunk/phase3/includes/specials/SpecialProtectedtitles.php |
| — | — | @@ -54,7 +54,7 @@ |
| 55 | 55 | |
| 56 | 56 | $pager = new ProtectedTitlesPager( $this, array(), $type, $level, $NS, $sizetype, $size ); |
| 57 | 57 | |
| 58 | | - $wgOut->addHTML( $this->showOptions( $NS, $type, $level, $sizetype, $size ) ); |
| | 58 | + $wgOut->addHTML( $this->showOptions( $NS, $type, $level ) ); |
| 59 | 59 | |
| 60 | 60 | if ( $pager->getNumRows() ) { |
| 61 | 61 | $s = $pager->getNavigationBar(); |
| — | — | @@ -109,11 +109,9 @@ |
| 110 | 110 | * @param $namespace Integer: |
| 111 | 111 | * @param $type string |
| 112 | 112 | * @param $level string |
| 113 | | - * @param $sizetype Unused |
| 114 | | - * @param $size Unused |
| 115 | 113 | * @private |
| 116 | 114 | */ |
| 117 | | - function showOptions( $namespace, $type='edit', $level, $sizetype, $size ) { |
| | 115 | + function showOptions( $namespace, $type='edit', $level ) { |
| 118 | 116 | global $wgScript; |
| 119 | 117 | $action = htmlspecialchars( $wgScript ); |
| 120 | 118 | $title = SpecialPage::getTitleFor( 'Protectedtitles' ); |