Rename various $wikiId fields/parameters to $dbDomain in user classes
authorAaron Schulz <aschulz@wikimedia.org>
Fri, 28 Jun 2019 01:23:18 +0000 (18:23 -0700)
committerAaron Schulz <aschulz@wikimedia.org>
Fri, 28 Jun 2019 01:23:18 +0000 (18:23 -0700)
commit5c88c989328b38b7c2127af83f890d06bbe134af
treef9acc05366b9f444d5f5eeeb9c9e9b28138ca1c8
parent80ea6f1a6c3a57b1b588bea3bb3af1f8986ae05b
Rename various $wikiId fields/parameters to $dbDomain in user classes

Change-Id: I0d4455ff4a693de41b8985b1421b18d93527acd6
includes/specials/SpecialUserrights.php
includes/user/User.php
includes/user/UserRightsProxy.php