* Call SpecialPage::setHeaders() and SpecialPage::outputHeader() rather than doing...
authorAlexandre Emsenhuber <ialex@users.mediawiki.org>
Fri, 24 Apr 2009 07:46:19 +0000 (07:46 +0000)
committerAlexandre Emsenhuber <ialex@users.mediawiki.org>
Fri, 24 Apr 2009 07:46:19 +0000 (07:46 +0000)
* Whitespaces tweaks

includes/specials/SpecialPreferences.php

index 59deaec..900ac73 100644 (file)
@@ -8,9 +8,9 @@ class SpecialPreferences extends SpecialPage {
        function execute( $par ) {
                global $wgOut, $wgUser, $wgRequest;
                
-               $wgOut->setPageTitle( wfMsg( 'preferences' ) );
-               $wgOut->setArticleRelated( false );
-               $wgOut->setRobotPolicy( 'noindex,nofollow' );
+               $this->setHeaders();
+               $this->outputHeader();
+
                $wgOut->addScriptFile( 'prefs.js' );
 
                $wgOut->disallowUserJs();  # Prevent hijacked user scripts from sniffing passwords etc.
@@ -24,7 +24,7 @@ class SpecialPreferences extends SpecialPage {
                        return;
                }
                
-               if ($par == 'reset') {
+               if ( $par == 'reset' ) {
                        $this->showResetForm();
                        return;
                }
@@ -60,7 +60,7 @@ class SpecialPreferences extends SpecialPage {
                global $wgUser, $wgOut;
                $wgUser->resetOptions();
                
-               $url = SpecialPage::getTitleFor( 'Preferences')->getFullURL( 'success' );
+               $url = SpecialPage::getTitleFor( 'Preferences' )->getFullURL( 'success' );
                
                $wgOut->redirect( $url );