Clarify comment on $wgAllowRealName deprecation

As suggested by jidanni on bug 18761.

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index b80604f..59c3db9 100644 (file)
--- 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 = '@';