Merge "mediawiki.user: Use wgUserGroups for getGroups() rather than AJAX"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 2 Apr 2016 21:22:25 +0000 (21:22 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 2 Apr 2016 21:22:25 +0000 (21:22 +0000)
commita16fbe655b050003d81ac63bbcceae005a2a6681
treeac497a02fc0c17549d03278b4e783af48182fac5
parent4adb40a797a92dc672fd948d5d82d5c81b56e606
parentb6eb368015920b9cd2c690fdfd49477decc188d3
Merge "mediawiki.user: Use wgUserGroups for getGroups() rather than AJAX"