From: Andrew Garrett <werdna@users.mediawiki.org>
Date: Wed, 3 Jun 2009 16:53:23 +0000 (+0000)
Subject: Fix preferences reset, was missing a saveSettings()
X-Git-Tag: 1.31.0-rc.0~41520
X-Git-Url: http://git.cyclocoop.org/%40spipnet%40?a=commitdiff_plain;h=00cb400e0ec4c68afc6fe97c94e44145994043a7;p=lhc%2Fweb%2Fwiklou.git

Fix preferences reset, was missing a saveSettings()
---

diff --git a/includes/specials/SpecialPreferences.php b/includes/specials/SpecialPreferences.php
index d09fb331a3..51ef9c569f 100644
--- 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' );