Merge "User: Avoid deprecated wfMemcKey()"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 26 May 2017 23:53:00 +0000 (23:53 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 26 May 2017 23:53:00 +0000 (23:53 +0000)
commit025564b1eee497e481dcfe43839c4108a7f20807
tree156b0e79a4bac9447578374cfd65a7c3f2e874b9
parentca74e553cbed8b7976dfcd2474b02028f8da520d
parent2f059883fbaa53570cd877bc010f9c224d4a7595
Merge "User: Avoid deprecated wfMemcKey()"