From 3b817e271a5632e3978702022466f3e5cde76c4a Mon Sep 17 00:00:00 2001 From: Aryeh Gregor Date: Wed, 20 May 2009 14:30:47 +0000 Subject: [PATCH] Clarify comment on $wgAllowRealName deprecation As suggested by jidanni on bug 18761. --- includes/DefaultSettings.php | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php index b80604fcc6..59c3db9994 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -2498,7 +2498,8 @@ $wgDefaultUserOptions = array( /** * Whether or not to allow and use real name fields. - * @deprecated in 1.16, use $wgHiddenPrefs[] = 'realname' below + * @deprecated in 1.16, use $wgHiddenPrefs[] = 'realname' below to disable real + * names */ $wgAllowRealName = true; @@ -3823,4 +3824,4 @@ $wgInvalidUsernameCharacters = '@'; * $wgInvalidUsernameCharacters above, or you will not be able to * modify the user rights of those users via Special:UserRights */ -$wgUserrightsInterwikiDelimiter = '@'; \ No newline at end of file +$wgUserrightsInterwikiDelimiter = '@'; -- 2.20.1