diff -r a71de5e21423 -r d6f391475bb9 plugins/SpecialUserPrefs.php --- a/plugins/SpecialUserPrefs.php Wed Apr 15 20:10:40 2009 -0400 +++ b/plugins/SpecialUserPrefs.php Wed Apr 15 20:24:36 2009 -0400 @@ -599,8 +599,7 @@