diff -r 070ff1509cc2 -r 40f7fa5fd061 plugins/SpecialUserPrefs.php --- a/plugins/SpecialUserPrefs.php Thu Sep 20 11:27:49 2007 -0400 +++ b/plugins/SpecialUserPrefs.php Sun Sep 23 18:42:16 2007 -0400 @@ -577,7 +577,7 @@