Last modified: 2013-04-22 16:15:01 UTC
http://www.mediawiki.org/wiki/Manual:$wgAllowRealName An backward compatible patch is needed.
Note, since 1.16 setting $wgAllowRealName should have automatically set the $wgHiddenPref thing. So you only really need to check for $wgHiddenPref (unless you want back compat going wayyy back).
is + if ( in_array( 'realname', $wgHiddenPrefs ) {} the correct replacement for + if ( $wgAllowRealname ) { } or is it the negation - because "HiddenPrefs" suggest something like that ? I need to RTFM.
https://gerrit.wikimedia.org/r/#/c/52976/1
fixed in 9081b7a0aea210255571af4cecbd866106c9cf21