| Index: trunk/phase3/includes/specials/SpecialPreferences.php |
| — | — | @@ -8,9 +8,9 @@ |
| 9 | 9 | function execute( $par ) { |
| 10 | 10 | global $wgOut, $wgUser, $wgRequest; |
| 11 | 11 | |
| 12 | | - $wgOut->setPageTitle( wfMsg( 'preferences' ) ); |
| 13 | | - $wgOut->setArticleRelated( false ); |
| 14 | | - $wgOut->setRobotPolicy( 'noindex,nofollow' ); |
| | 12 | + $this->setHeaders(); |
| | 13 | + $this->outputHeader(); |
| | 14 | + |
| 15 | 15 | $wgOut->addScriptFile( 'prefs.js' ); |
| 16 | 16 | |
| 17 | 17 | $wgOut->disallowUserJs(); # Prevent hijacked user scripts from sniffing passwords etc. |
| — | — | @@ -24,7 +24,7 @@ |
| 25 | 25 | return; |
| 26 | 26 | } |
| 27 | 27 | |
| 28 | | - if ($par == 'reset') { |
| | 28 | + if ( $par == 'reset' ) { |
| 29 | 29 | $this->showResetForm(); |
| 30 | 30 | return; |
| 31 | 31 | } |
| — | — | @@ -60,7 +60,7 @@ |
| 61 | 61 | global $wgUser, $wgOut; |
| 62 | 62 | $wgUser->resetOptions(); |
| 63 | 63 | |
| 64 | | - $url = SpecialPage::getTitleFor( 'Preferences')->getFullURL( 'success' ); |
| | 64 | + $url = SpecialPage::getTitleFor( 'Preferences' )->getFullURL( 'success' ); |
| 65 | 65 | |
| 66 | 66 | $wgOut->redirect( $url ); |
| 67 | 67 | |