Fix preferences reset, was missing a saveSettings()
authorAndrew Garrett <werdna@users.mediawiki.org>
Wed, 3 Jun 2009 16:53:23 +0000 (16:53 +0000)
committerAndrew Garrett <werdna@users.mediawiki.org>
Wed, 3 Jun 2009 16:53:23 +0000 (16:53 +0000)
commit00cb400e0ec4c68afc6fe97c94e44145994043a7
treef9b36a723fb4856757799e852297ffd5c32b2a4a
parent4d960674890035b3d6683144517c7d742c6ea081
Fix preferences reset, was missing a saveSettings()
includes/specials/SpecialPreferences.php