From 00cb400e0ec4c68afc6fe97c94e44145994043a7 Mon Sep 17 00:00:00 2001
From: Andrew Garrett <werdna@users.mediawiki.org>
Date: Wed, 3 Jun 2009 16:53:23 +0000
Subject: [PATCH] Fix preferences reset, was missing a saveSettings()

---
 includes/specials/SpecialPreferences.php | 1 +
 1 file changed, 1 insertion(+)

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' );
 
-- 
2.20.1