Merge "Remove deprecated $wgAllowRealName"
authorReedy <reedy@wikimedia.org>
Fri, 5 Oct 2012 19:14:54 +0000 (19:14 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 5 Oct 2012 19:14:54 +0000 (19:14 +0000)
commit9e27a17b0c3f5618c30abffe389921b729de069b
tree684e5ff6ccedffb57dd0855829b73a00fa8af455
parent6031042ae470182f45d6b0cd7edd8807141ff201
parentcdbf6c434d5ba340994674847dfeb7e94ce7fe7c
Merge "Remove deprecated $wgAllowRealName"