Merge "Remove $wgAuth usage from wrapOldPasswords.php"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 15 Nov 2017 14:21:33 +0000 (14:21 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 15 Nov 2017 14:21:34 +0000 (14:21 +0000)
commitfbb86f07d222ba6c31386472c5b792348b1c89e2
treece02d03fe98c26dbf9cd49c0dc14ab3c7c15e28a
parentc743e3465c21119c6ac3193e785b81355cd23e96
parent1fe65bd2ad2bc92c175273a8dfa9af4626d00509
Merge "Remove $wgAuth usage from wrapOldPasswords.php"
maintenance/wrapOldPasswords.php