Merge "Use WikiMap methods for wiki ID logic in more places"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 30 Oct 2018 07:20:29 +0000 (07:20 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 30 Oct 2018 07:20:29 +0000 (07:20 +0000)
commit6edf7d44fad239b5e806b7bbbc0a0a1d6e044fa9
tree2bf6faa0ef272ccd4a21d857b22af36cc9081338
parent6d5cad1d57d603e3314ff1cdedf7be8946aadfc1
parentdbccb3a361b2cfb7f470786b268295be1aec5109
Merge "Use WikiMap methods for wiki ID logic in more places"
includes/debug/logger/LegacyLogger.php
includes/user/User.php