Fix preferences reset, was missing a saveSettings()

diff --git a/includes/specials/SpecialPreferences.php b/includes/specials/SpecialPreferences.php
index d09fb33..51ef9c5 100644 (file)
--- a/includes/specials/SpecialPreferences.php
+++ b/includes/specials/SpecialPreferences.php
@@ -65,6 +65,7 @@ class SpecialPreferences extends SpecialPage {
        static function submitReset( $formData ) {
                global $wgUser, $wgOut;
                $wgUser->resetOptions();
+               $wgUser->saveSettings();
 
                $url = SpecialPage::getTitleFor( 'Preferences' )->getFullURL( 'success' );