Merge "Rename various $wikiId fields/parameters to $dbDomain in user classes"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 4 Jul 2019 13:58:54 +0000 (13:58 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 4 Jul 2019 13:58:54 +0000 (13:58 +0000)
commitcca344a717b9e41b0e32e4915295cd36dd18bf83
tree615836412b1eb46420fb2fccdd013fda14299c0d
parent2b4c62b597188116e2ae41f1547f81ed1ec5104f
parent5c88c989328b38b7c2127af83f890d06bbe134af
Merge "Rename various $wikiId fields/parameters to $dbDomain in user classes"
includes/user/User.php