Merge "Fixed User class IDE warnings"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 15 Jul 2015 07:30:21 +0000 (07:30 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 15 Jul 2015 07:30:21 +0000 (07:30 +0000)
commit8352deb9852449f44aec3a2be71d2cc5deffdf2a
tree7f50768e91aba76411920564247887261557a76a
parentff5e2f65409d4ded295019dd31e94b899efd4acb
parente47c2e0c95d1ec2e428601a7ae701a312f53d8b4
Merge "Fixed User class IDE warnings"
includes/User.php