Merge "Preferences.php: avoid "Undefined index" if key 'realname' don't exist in...
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 19 Mar 2014 22:53:31 +0000 (22:53 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 19 Mar 2014 22:53:31 +0000 (22:53 +0000)
commit7a74e085d926a2a8bcb5d2ef1a703e3c72ca083a
treeb03919fb3f574c1f1dc9a3df86b71ba9416e3fc9
parented3e9d73ed59385123d9d605b3ef042246488780
parent7110eb061a03b517b66c34017be2998a8979adfa
Merge "Preferences.php: avoid "Undefined index" if key 'realname' don't exist in $formdata"
includes/Preferences.php