Merge "Documentation fixes for Password API-related changes"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 29 Jul 2014 15:25:12 +0000 (15:25 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 29 Jul 2014 15:25:12 +0000 (15:25 +0000)
commit878b970ccde816edad72d415e4de6d1da2c4c852
tree1bdb57f9db67d96b4e7cede6c6cd16a5edfdcdc0
parent6047d13f978f1bf0b9bb010239b0fb3c386b9c7c
parent2a904107c5ed4a79a2d5c4cc88ee15cb1176b2ca
Merge "Documentation fixes for Password API-related changes"
includes/User.php