Merge "Rename WikiMap DB domain ID methods to reduce confusion with web domains"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 7 Feb 2019 01:42:09 +0000 (01:42 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 7 Feb 2019 01:42:09 +0000 (01:42 +0000)
commit86529c91b4d32bbc8546f16e339ee2e1e525ff5c
tree6735206512e570c74af784f5c9ea847b21ebdbb8
parent3dd6742b3a70f39d4227073360d812a6fab955b9
parent5196ac32c60bf370463135c14eed3bba0d361940
Merge "Rename WikiMap DB domain ID methods to reduce confusion with web domains"
includes/jobqueue/JobQueue.php