Merge "add and use updateExternalDBGroups function, fixes #49641"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 11 Jul 2013 16:46:41 +0000 (16:46 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 11 Jul 2013 16:46:41 +0000 (16:46 +0000)
commitf34c397ca24d3f3e0e697a13a2b72365687c412d
treef9801b3e911df659df4170cae5a9af585345aae0
parent5b04704d304968ca49b6190ed0dd1d5ad819db45
parentb8b91a0092e7d7444adfdfe0511dc13487c28685
Merge "add and use updateExternalDBGroups function, fixes #49641"
includes/User.php