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)
1  2 
includes/Preferences.php

Simple merge