Index: DefaultSettings.php =================================================================== --- DefaultSettings.php (revision 50800) +++ DefaultSettings.php (working copy) @@ -2496,9 +2496,9 @@ 'disablemail' => 0, ); -/** - * Whether or not to allow and use real name fields. - * @deprecated in 1.16, use $wgHiddenPrefs[] = 'realname' below +/** + * Whether or not to allow and use real name fields. + * @deprecated in 1.16, use $wgHiddenPrefs[] = 'realname' below to disable */ $wgAllowRealName = true;